Como proceder, usando a hipótese "exatamente um mentiroso", para identificar quem mente entre várias declarações interdependentes?

Assuma cada pessoa isoladamente como mentirosa e verifique se todas as demais ficam verdadeiras; o caso consistente revela o mentiroso e a verdade dos fatos.

Explicação e exemplo prático:
Passos:
1) Escolha uma pessoa e suponha que ela mente (ou seja, negue sua declaração).
2) A partir dessa suposição, determine a veracidade das demais declarações.
3) Se exatamente uma mentira ocorrer e todas as outras declarações forem verdadeiras, a suposição está consistente; caso contrário, descarte e tente outra pessoa.

Exemplo:
Quatro funcionários fazem estas falas:
- Ana: "Beto fez."
- Beto: "Eu não fiz."
- Carla: "Beto diz a verdade."
- Diego: "Ana está mentindo."
Hipótese: exatamente um mentiroso.

Suponha que Ana seja a mentirosa (ou seja, Ana afirmou falsamente que Beto fez). Então:
- Beto realmente não fez → declaração de Beto é verdadeira.
- Carla diz que Beto fala a verdade → verdadeira (confirma Beto).
- Diego diz que Ana mente → verdadeira (confirma que Ana mentiu).
Resultado: apenas Ana mente, todas as outras são verdadeiras → consistente. Logo, quem fez foi Ana.