Alice ha risposto direttamente alla domanda, quindi non è una svicolatrice, anche se non sappiamo se sia onesta patologica oppure bugiarda. Bob e Carla hanno svicolato: quindi o sono bugiardi matricolati oppure sono due svicolatori. Ma poiché le loro affermazioni si contraddicono, è impossibile che svicolino entrambi. Uno di loro è pertanto un mentitore. Se Clara fosse la mentitrice e dunque Alice avesse rubato il computer, allora Bob avrebbe detto la verità: ma questo è impossibile perché Bob ha svicolato quando non era direttamente implicato. Pertanto è Bob ad avere mentito e Alice è innocente: Clara ha svicolato e pertanto è la colpevole.
Avere onesti patologici e svicolatori complica parecchio l'analisi, che non può essere fatta automaticamente. Però il risultato, essendo sudato, dovrebbe essere più divertente...