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 C est B.

XIV. Quelque A estB; 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.

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