En el Club de la Lógica de Verdalia se ha cometido un robo. Abel, Bruno y Carlos, a la vez testigos y sospechosos, son interrogados por un investigador.
Como todos los nativos de Verdalia, Abel, Bruno y Carlos pertenecen, o bien al grupo de los veraces (que sólo hacen afirmaciones verdaderas), o bien al de los mentirosos (que sólo hacen afirmaciones falsas). Los tres saben a qué grupo pertenecen los demás y saben, además, quién es el culpable del robo. Leamos sus declaraciones:
Abel: El ladrón es Bruno.
Bruno: El ladrón es Carlos.
Abel: Carlos es mentiroso.
Bruno: Carlos es mentiroso.
Carlos no dice nada.
¿A qué grupo pertenece cada uno? ¿Quién es el ladrón?