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