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