Theorem Sample 1
(Click "Prove" to run)
Prove Theorem:
(<=> (=> (exists ?X (F ?X)) (=> (exists ?X (G ?X)) (forall ?X (H ?X)))) (forall (?X ?Y ?Z) (=> (and (F ?X) (G ?Y)) (H ?Z))))
Proof Trace