<aside> 📖 Nessun cubo ha a destra un tetraedro dietro al quale vi sia un blocco più grande del cubo stesso.

</aside>

$\forall x(Cube(x) \rightarrow \neg \exist y(Tet(y)\wedge RightOf(y,x) \wedge \exist z(Larger(z,x)\wedge BackOf(z,y))))$

<aside> 📖 Ogni oggetto piccolo è adiacente ad almeno due cubi.

</aside>

$\forall x (Small(x)\rightarrow \exist y\exist z(y\ne z \wedge Cube(y)\wedge Cube(z)\wedge Adjoins(y,x) \wedge Adjoins(z,x)))$

<aside> 📖 Un cubo è grande solo se il blocco più a sinistra della riga dove esso giace è un tetraedro.

</aside>

$\forall x ((Cube(x) \wedge Large(x)) \rightarrow Tet(lm(x)))$

<aside> 📖 Non è il caso che nessun blocco grande sia un cubo o sia un dodecaedro adiacente ad un tetraedro rosso.

</aside>

$\neg \forall x (Large(x)\rightarrow \neg (Cube(x)\vee (Dodec(x)\wedge\exist y(Tet(y)\wedge Rosso(y)\wedge Adjoins(x,y)))))$

<aside> 📖 Ogni dodecaedro medio è adiacente ad almeno un cubo e al massimo due.

</aside>

$\forall x ((Dodec(x) \wedge Medium(x)) \rightarrow (\exist y (Cube(y) \wedge Adjoins(x,y)) \wedge \forall y \forall z \forall w ((Cube(y) \wedge Adjoins(y,x) \wedge Cube(z) \wedge Adjoins(z,x) \wedge Cube(w) \wedge Adjoins(w, x) ) \rightarrow (y=z \vee y=w \vee z=w))))$

<aside> 📖 C'e al più un cubo che giace sulla stessa colonna di un altro blocco della stessa dimensione.

</aside>

Proprietà: giace sulla stessa colonna di un altro blocco della stessa dimensione. ⇒ esiste un blocco della stessa dimensione che sta sulla stessa colonna.

$\forall x\forall y((Cube(x)\wedge\exist z(SameSize(x,z)\wedge SameCol(x,z)\wedge x\ne z)\wedge Cube(y)\wedge \exist z (SameSize(y,z)\wedge SameCol(y,z)\wedge y\ne z))\rightarrow (x=y))$

<aside> 📖 Vi sono dodecaedri più a destra di ogni blocco di forma differente.

</aside>