T269
(<=> (exists ?Y (forall ?X (or (F1 ?X) (G1 ?Y)))) (forall ?X (exists ?Y (or (F1 ?X) (G1 ?Y)))))
Proof Trace