Tegyük fel, hogy igazak a következő állítások:
1. Aki nem kötéltáncos és zsemlét sem eszik, az öreg.
2. A szédülős malacokkal tisztelettel bánnak.
3. Okos léghajós esernyőt visz magával.

4. Nem ebédelhet nyilvános helyen, aki nevetségesen néz ki és zsemlét eszik.
5. A fiatal léghajósok szédülősek.
6. Nevetséges és kövér illető ebédelhet nyilvános helyen, ha nem kötéltáncos.
7. Aki okos, az nem megy kötéltáncosnak, ha szédülős.
8. Egy malac esernyővel nevetségesen néz ki.
9. Mindenki kövér, akivel tisztelettel bánnak és nem kötéltáncos.

Következik-e ezekből (egyéb feltevések felhasználása nélkül), hogy Okos fiatal malac nem megy léghajósnak.