Como resolver uma associação quando se sabe que exatamente uma entre três afirmações é verdadeira e os itens são todos distintos?

Testar atribuições distintas e escolher a que torna exatamente uma afirmação verdadeira.

Explicação:
1) Liste os três itens disponíveis e considere apenas atribuições que respeitem a distinção (cada item usado uma vez).
2) Para cada atribuição, avalie as três afirmações como verdadeiras ou falsas.
3) Aceite a atribuição que produza exatamente uma afirmação verdadeira; se nenhuma ou mais de uma atender, descarte e teste outra.
4) Se apenas uma atribuição satisfizer a condição, ela é a solução única.

exemplo:
Itens: cachorro, gato, peixe para X, Y, Z.
Atribuição testada: X = cachorro, Y = gato, Z = peixe.
Afirmativas:
- S1: "X tem cachorro." → verdadeira
- S2: "Z não tem peixe." → falsa (Z tem peixe)
- S3: "Y não tem gato." → falsa (Y tem gato)
Resultado: exatamente uma verdadeira → atribuição válida.
Teste rápido de outra permutação (X=cachorro, Y=peixe, Z=gato): S1=true, S2=true, S3=true/false conforme enunciado → não atende (mais de uma verdadeira). Portanto a permutação inicial é a correta e única.