XII. Nul A n'est B

or, quelque B est G; donc quelque C n'est pas A.

Xlll. Quelque A est B.

or, tout A est G; donc quelque G n'est pas B.

XIV. Quelque A est B; or, tout B est G; Donc quelque G 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 Gest B; donc quelque A n'est pas G.