es
- Algunos no-x no son no-y.
- Todo no-x es no-y.
- Algunos no-y existen.
- No existen no-x.
- Algunos y son x, y algunos no son x.
- Todos los x son y, y todos los no-y son no-x.
[Véase las págs. 62, 3]
Tomando "naciones" como Universo;
- x="civilizadas";
- y="belicosas";
- Ninguna nación incivilizada es guerrera.