XII. Nul A n'est B

Or, quelque B est C; Donc, quelque C n'est pas A.

XIII. Quelque A est B; Or, tout A est C ; Donc, quelque G est B.

XÎY- QfllîJque A est B ; Or, tout B est C; Donc, quelque C est A.

XV. Quelque A n'est pas B ; Or, tout A est C ; Donc, quelque C n'est pas B.

XVJ. Quelque A n'est pas B;

Or, tout C est P ;

Donc, quelque A n'est pas C.