T2-259
(<=> (forall ?X (exists ?Z (=> (F ?X) (exists ?Y (=> (G ?Y) (H ?Z)))))) (=> (and (exists ?X (F ?X)) (forall ?X (G ?X))) (exists ?X (H ?X))))
Proof Trace