J003
Premises:
(exists ?X (forall ?Y (F ?X ?Y)))
Conclusion:
(exists ?X (forall ?Y (F ?X ?Y)))
Proof Trace