D'Arcy Thompson's Reasoning Machine

Rotate spinner

Rotate base-board

baseboardspinner
X
Y
Z
IfAndThen
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.