Como aplicar a condição "exatamente uma declaração é verdadeira" para determinar a configuração correta a partir de três declarações?

Assuma cada declaração como verdadeira isoladamente, deduza que as outras duas são falsas e verifique qual hipótese é consistente sem contradição.

Explicação:
Assuma uma declaração verdadeira por vez; para cada hipótese, transforme as demais em falsas e avalie se as informações resultantes são compatíveis entre si. A hipótese que não gerar contradição é a correta.

Exemplo:
Três baús X, Y e Z sobre o mesmo tesouro fazem as afirmações:
X: "Eu não contenho a gema."
Y: "Eu contenho a gema."
Z: "Y não contém a gema."
Sabe-se que exatamente uma dessas afirmações é verdadeira. Determinar onde está a gema.

Hipótese 1 — X é verdadeira: então X está vazio; Y e Z são falsas.
• Y falsa ⇒ Y não contém a gema.
• Z falsa ⇒ "Y não contém a gema" é falsa ⇒ Y contém a gema.
Contradição (Y contém e não contém). Hipótese 1 impossível.

Hipótese 2 — Y é verdadeira: então Y contém a gema; X e Z são falsas.
• X falsa ⇒ X contém a gema.
Contradição (X e Y conteriam a gema). Hipótese 2 impossível.

Hipótese 3 — Z é verdadeira: então "Y não contém a gema" é verdadeira; X e Y são falsas.
• X falsa ⇒ X contém a gema.
• Y falsa ⇒ Y não contém a gema (coerente com Z).
Sem contradição: gema em X. Portanto, a hipótese 3 é a correta.