Argument Sample
(Click "Prove" to run)
Premises:
{Your Premises Here}
Conclusion:
{Your Conclusion(s) Here}
Proof Trace