T317a
(=> (and (exists ?X (F ?X)) (forall ?Y (=> (F ?Y) (G ?Y)))) (exists ?X (and (F ?X) (forall ?Y (=> (F ?Y) (G ?Y))))))
Proof Trace