Todo nativo de Verdalia pertenece, o bien al grupo de los veraces, o bien al grupo de los mentirosos. Los veraces hacen solamente afirmaciones verdaderas. Los mentirosos hacen solamente afirmaciones falsas.
Abel, Benito, Carlos, Diego, Esteban, Francisco y Gabriel son todos nativos de Verdalia y cada uno sabe a qué grupo pertenecen todos los demás.
Abel dice: Benito es mentiroso.
Benito dice: Carlos es mentiroso.
Carlos dice: Diego es mentiroso.
Diego dice: Esteban es mentiroso.
Esteban dice: Francisco es mentiroso.
Francisco dice: Gabriel es mentiroso.
Gabriel dice algo, pero sólo Abel llega a oirlo y entonces aclara:
Abel dice: Gabriel dijo que soy mentiroso.
¿A qué grupo pertenece cada uno?
