Todo hombre es mortal

Algún hombre no es cuadrúpedo
(Notar que la X se encuentra en la región de los C que son B y C que no-son A, es decir, en la región, de los M que son P y que no son S. Por ello, recoge la proposicón algún M no es S)

Algún cuadrúpedo es mortal
(Inválido)

Algún cuadrúpedo es mortal
(La presencia de X (algo que falta en la conclusión anterior) en la región de los A que son B, es decir, es decir, en la región de los S que son P, nos indica la existencia de algún A es B, es decir, de algún S que es P)