Thomas266_c
(Click "Prove" to run)
Premises:
(forall ?X (F ?X ?X))
Conclusion:
(forall ?X (forall ?Y (F ?X ?Y)))
Proof Trace