NT253
(Click "Prove" to run)
Prove:
(<= (exists ?X (forall ?Y (F ?X ?Y ))) (forall ?Y (exists ?X (F ?X ?Y))))
Proof Trace