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