T2-263b
(=> (forall ?X (exists ?Y (=> (F ?X) (G ?Y)))) (exists ?Y (forall ?X (=> (F ?X) (G ?Y)))))
Proof Trace