T2-261
(<=> (forall ?X (=> (exists ?Y (F ?X ?Y)) (exists ?Y (G ?X ?Y)))) (forall ?X (forall ?Y (exists ?Z (=> (F ?X ?Y) (G ?X ?Z))))))
Proof Trace