T271
(<=> (forall ?X (forall ?Y (exists ?Z (=> (and (F1 ?X) (G1 ?Y)) (H1 ?Z))))) (forall ?Y (exists ?Z (forall ?X (=> (and (F1 ?X) (G1 ?Y)) (H1 ?Z))))))
Proof Trace