A mi témánk egyik alapkérdése: Igazmondó, avagy hazug valaki abban a rejtvényben? A vizsgált „valaki” lehet az, aki állítást tesz, de még az is, aki egyáltalán nem tesz, csak hallgat. Az általunk kapott információkból ki tudjuk értékelni a feladványban szereplők állításait. Következményeket tudunk levonni. Megnézzük milyen típusú fejtörőkkel találkozhatunk. Mechanzimust adunk, amely detektálni tudja hogy van e megoldás, és ha van pontosan mennyi. Olyan algoritmusokat készítünk, amelyek képesek fejtörőket előállítani. Majd megoldja azokat és reprezentálja a megoldásokat. A megoldások előállítását többféle módon elvégezzük. Az egyik módzser a Boole-kombinációt a másik az alternatív keresést alkalmazza. Ezeket méréseknek vetjük alá hatékonysági szempontból. A mért adatokat összehasonlítjuk és elemezzük.