| |( )|(.)| |
| | .-------. | | .-------. |
.-------------------------------------------------------------.
.-------------------------------------------------------------.
| | .-------. | | .-------. |
| No xy exist | |( )| | | | |(.)| | |
| = No x are y | |---|---| | All y are x | |---|---| |
| = No y are x | | | | | | |( )| | |
| | .-------. | | .-------. |
|------------------|-----------|------------------|-----------|
| | .-------. | | .-------. |
| No xy' exist | | |( )| | | |( )| | |
| = No x are y' | |---|---| | All y are x' | |---|---| |
| = No y' are x | | | | | | |(.)| | |
| | .-------. | | .-------. |
|------------------|-----------|------------------|-----------|
| | .-------. | | .-------. |
| No x'y exist | | | | | | | |(.)| |
| = No x' are y | |---|---| | All y' are x | |---|---| |
| = No y are x' | |( )| | | | | |( )| |
| | .-------. | | .-------. |
|------------------|-----------|------------------|-----------|
| | .-------. | | .-------. |
| No x'y' exist | | | | | | | |( )| |
| = No x' are y' | |---|---| | All y' are x' | |---|---| |
| = No y' are x' | | |( )| | | | |(.)| |
| | .-------. | | .-------. |
.-------------------------------------------------------------.
.-------------------------------------------------------------.
| | .-------. | | .-------. |
| | |(.)|(.)| | | |(.)| | |
| Some x are y, | |---|---| | Some y are x | |---|---| |
| and some are y' | | | | | and some are x' | |(.)| | |
| | .-------. | | .-------. |
|------------------|-----------|------------------|-----------|
| | .-------. | | .-------. |
| | | | | |
|