ArguMed 2.0 - sample sessionprevious 1 2 3 4 5 6 
The statement that Ps are Qs unless they are Es, is added as a reason for the warrant underlying the exception step. As a result, the warrant is justified, and the exception that c is an E, again blocks the connection between the reason that c is a P and its conclusion that c is a Q. Therefore, the statement that c is a Q is no longer justified. |