T268
(=> (exists ?Y (forall ?X (=> (F1 ?X) (G1 ?Y)))) (forall ?X (exists ?Y (=> (F1 ?X) (G1 ?Y)))))
Proof Trace