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