T2-249
(=> (forall ?X (forall ?Y (F ?X ?Y))) (exists ?X (exists ?Y (F ?X ?Y))))
Proof Trace