Prover9 on Robbins Lemmas
prover9 -f
winker1.in
>
winker1.out
prover9 -f
winker2.in
>
winker2.out