ESERCIZIO 9.17
==============

1. Tutti i cubi sono piccoli.
2. Ogni piccolo cubo e' alla destra di *a*.
3. *a* e' alla sinistra di ogni dodecaedro. 
4. Ogni tetraedro medio e' di fronte a *b*.
5. Ogni cubo e' di fronte a *b* o dietro ad *a*.
6. Ogni cubo e' alla destra di *a* e alla sinistra di *b*.
7. Ogni cosa fra *a* e *b* e' un cubo.
8. Ogni cosa piu' piccola di *a* e' un cubo.