Ce qui suit est destiné aux personnes expertes en la matière et n'est pas essentiel au jeu.

Avant de discuter plus en profondeur de la correction du jeu, commençons par une clarification : lorsque, par exemple, le chevalier dit "Le chemin continue en n'appuyant pas sur A", a priori, ne pas appuyer sur une touche est également une action correcte. Dans le jeu, il existe donc un accord tacite selon lequel il est obligatoire d'appuyer sur A ou B (c'est-à-dire aut) à chaque tour.

Le discours plus technique concerne plutôt les phrases dans lesquelles apparaît une autre condition telle que "si X alors Y sinon Z". En raison de ce qui a été dit précédemment, Z est toujours de type ¬Y. Ainsi, dire " si X alors Y sinon Z " équivaut à dire " X si Y ", c'est-à-dire X ↔ Y. Soit maintenant K une variable de caractère (plus précisément, K indique que le locuteur est un chevalier) et soit P une déclaration quelconque. Si un personnage affirme P, K ↔ P est toujours vérifié. En particulier, dans le jeu, P = X ↔ Y. On a donc que chaque tour de jeu peut être réécrit comme K ↔ (X ↔ Y). Ainsi, si K est non vérifié, c'est-à-dire que le locuteur est un fripon, alors X ↔ Y doit également être faux, c'est-à-dire que les valeurs de vérité de X et Y doivent être différentes. Si, par contre, le locuteur est un chevalier, alors K est vérifié et donc les valeurs de vérité de X et Y doivent coïncider. Afin d'approfondir la discussion et de tendre vers les théorèmes de Godel, nous suggérons la lecture du livre Forever Undecided de Raymond Smyullyan (Knopf, 1987).