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