Enter the premises for the argument here:
Enter the conclusion for the argument here:
Enter your proof here, and then press: