T2-256
(=> (forall ?X (exists ?Y (and (F ?X ?Y) (G ?Y)))) (exists ?X (exists ?Y (and (F ?X ?Y) (G ?Y)))))
Proof Trace