Dieses Programm soll beim Lösen von Denksportaufgaben helfen. Auch mit Unterstützung dieses Programms müssen die Aufgaben immer noch selber interpretiert werden, aber Schlußfolgerungen werden automatisch gesetzt. So kann nichts übersehen werden. Außerdem besteht auf dem Bildschirm die Möglichkeit, Aussagen (mit allen Schlußfolgerungen) zu widerrufen, was auf Papier ja nur sehr umständlich zu machen ist.
