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