Como aplicar a condição "apenas uma afirmativa é verdadeira" para inferir as demais usando negações?

Assuma cada afirmação como hipótese, derive as negações das falsas e verifique consistência entre elas.

Explicação:
Assuma uma afirmação como verdadeira e faça as seguintes etapas:
1) Identifique pares que são negações diretas (se um é verdadeiro, o outro é automaticamente falso).
2) Para cada afirmação marcada como falsa, substitua pela sua negação e deduza consequências.
3) Verifique se as deduções formam uma distribuição consistente (cada item alocado exatamente uma vez).
4) Se consistente e apenas uma afirmação resultou verdadeira, essa hipótese é a correta; caso contrário, teste outra hipótese.

Exemplo:
Três caixas P, Q e R contêm, cada uma, apenas canetas, lápis ou marcadores (uma espécie por caixa). Considere as afirmativas:
1) canetas estão em P
2) lápis não estão em Q
3) marcadores estão em R
4) canetas não estão em P
Sabe-se que apenas uma é verdadeira.
- Note que 1 e 4 são negações; exatamente uma delas é verdadeira.
- Suponha que a 4 seja verdadeira (canetas não em P). As demais (1,2,3) são falsas.
- Falsidade de 2 → lápis estão em Q.
- Falsidade de 3 → marcadores não estão em R → então marcadores devem estar em P (já que Q tem lápis).
- Sob essas alocações, sobra canetas em R, e apenas a afirmativa 4 é verdadeira, consistente com a condição.
Conclusão: canetas estão em R.