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