ArguMed 2.0 - sample sessionprevious 1 2 3 4 5 6 next 
The statement that c is an E is added as an exception. Since it is justified (as a statement of assumption type), it blocks the connection between the reason that c is a P and its conclusion that c is a Q. As a result, the statement that c is a Q is no longer justified. |