J007
Premises:
(exists ?X (F ?X)) (exists ?X (forall ?Y (<=> (F ?Y) (= ?X ?Y))))
Conclusion:
(exists ?X (forall ?Y (<=> (F ?Y) (= ?X ?Y))))
Proof Trace