1. Proposiciones.

     |     |     |
     |  1  |     |  Some y are x, and some are x';
     |     |     |     i.e. Some nice are new, and some are
      -----      |            not-new.
     |     |     |
     |  1  |     |
     |     |     |
      -----      |
                 |
      -----      |
     |     |     |
     |  0  |     |  No y are x, and none are x'; i.e. No y
     |     |     |       exist;
      -----      |     i.e. No Cakes are nice.
     |     |     |
     |  0  |     |
     |     |     |
      -----      |
                 |
      -----      |
     |     |     |
     |  1  |     |  All y are x;

Esto puede considerarse como un armario dividido del mismo modo que el anterior, pero TAMBIÉN dividido en dos porciones, para el Atributo $m$. Asignemos a $m$ el significado de «saludable»; y supongamos que todos los pasteles SALUDABLES se colocan DENTRO del cuadrado central, y todos los NO SALUDABLES FUERA de él, es decir, en uno u otro de los cuatro compartimentos EXTERIORES de extraña forma.

Vemos que, así como, en el Diagrama más pequeño, los Pasteles en cada compartimento tenían DOS Atributos, también aquí los Pasteles en cada compartimento tienen TRES Atributos; y, así como las letras que representaban los DOS Atributos estaban escritas en los BORDES del compartimento, también aquí están escritas en las ESQUINAS. (Nótese que se supone que m ′ debe estar escrita en cada una de las cuatro esquinas exteriores). De modo que podemos saber en un instante, con solo mirar un compartimento, qué tres Atributos pertenecen a las Cosas que hay en él. Por ejemplo, tómese el N.º 12. Aquí encontramos x , y ′ , m en las esquinas: así que sabemos que los Pasteles que hay