Argument Sample
(Click "Prove" to run)
Premises:
(forall ?X (F ?X))
Conclusion:
(F a) (F b)
Proof Trace