T2-247
(<=> (exists ?X (=> (F ?X) (G ?X))) (or (exists ?X (not (F ?X))) (exists ?X (G ?X))))
Proof Trace