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