Como proceder para resolver problemas em que exatamente uma entre várias declarações é verdadeira?

Assumir, por vez, que cada declaração é a única verdadeira e testar se isso torna as demais coerentes; a hipótese que gera exatamente uma verdade é a correta.

Passos:
1) Escolher uma declaração e supor que ela é a única verdadeira.
2) Avaliar as consequências dessa suposição sobre as demais declarações (verdadeiro/mentiroso).
3) Verificar se, sob essa hipótese, exatamente uma declaração fica verdadeira. Se sim, a hipótese é válida; se não, descarta-se e tenta-se outra.

Exemplo:
Quatro pessoas P1, P2, P3 e P4 dizem:
P1: “Eu não causei o problema.”
P2: “P1 causou o problema.”
P3: “P1 está mentindo.”
P4: “Não foi P2.”

Testa-se a hipótese “culpado = P2”:
- P1: “Eu não causei” → verdadeiro (P1 ≠ culpado).
- P2: “P1 causou” → falso.
- P3: “P1 está mentindo” → falso (P1 é verdadeiro).
- P4: “Não foi P2” → falso (P2 é culpado).

Resultado: exatamente uma declaração verdadeira (apenas P1), logo a hipótese é consistente e o culpado é P2.