Os amigos Manuel, Nilo, Osvaldo e Pedro têm um comportamento atípico quando estão juntos, de maneira que pelo menos um sempre mente e pelo menos um sempre fala a verdade. Nesses encontros, cada amigo sabe o comportamento, mentiroso ou verdadeiro, dos outros amigos. Considere o seguinte diálogo que tiveram da última vez que estiveram juntos:
Manuel: Nilo está mentindo.
Nilo: Hoje, exatamente dois de nós estão mentindo.
Osvaldo: Manuel não está mentindo.
Pedro: Eu e Osvaldo temos comportamentos diferentes hoje.
Nessa última vez que em esses rapazes estiveram juntos, tinham o comportamento de mentir apenas