Argument Sample 1
(Click "Prove" to run)
Premises:
(= a b) (P a)
Conclusion:
(P b)
Proof Trace