Egy $3\times 3$-as tábla minden mezőjére ráállítottunk egy törpét. A 9 mezőre összesen 2 hazudós, és 7 igazmondó törpe került. Az igazmondó törpék mindig igazat mondanak, a hazudós törpék pedig sosem mondanak igazat. Megkérdeztünk minden törpét, hogy az ő mezőjével oldalban szomszédos mezőkön összesen hány igazmondó törpe áll, és az alábbi válaszokat kaptuk (a könnyebb kezelhetőség érdekében betűkkel és számokkal jelöljük a tábla sorait és oszlopait):