D'Arcy Thompson's Reasoning Machine
Rotate spinner
Rotate base-board
X
Y
Z
| If | And | Then |
|---|---|---|
| All Y are (some) X. | All Z are (some) Y. | All Z are (some) X. |
| All X are (some) Y. | All Z are (some) Y. | Invalid proposition. |
| All Y are (some) X. | All Y are (some) Z. | Some Z are (some) X. |