Como aplicar exclusão usando restrições do tipo "mesmo lugar" e "lugar diferente" para identificar uma atribuição única em um problema de associação?

Elimine opções incompatíveis pelas restrições relacionais até restar a única atribuição possível.

Explicação:
Liste todas as opções para cada pessoa; aplique as informações afirmativas e negativas (ex.: "não é X").
Use relações do tipo "mesmo/um outro lugar" para excluir simultaneamente opções (se alguém trabalha no mesmo lugar que a posição Y, então essa pessoa não é Y quando o enunciado indica outra pessoa; se a posição Y está em outro lugar, qualquer que esteja no mesmo lugar não pode ser Y).
Repita eliminações cruzando com informações de deslocamento/companhia (ex.: vão no mesmo ônibus) até sobrar apenas uma possibilidade para cada pessoa.

Exemplo:
Cinco pessoas (A, B, C, D, E) ocupam cargos diferentes: pintor, padeiro, jardineiro, cozinheiro, motorista.
Condições:
1) A e o pintor são irmãos (logo A ≠ pintor).
2) A não é padeiro nem cozinheiro.
3) D é jardineiro.
4) B trabalha no mesmo turno que o padeiro (o que indica que B ≠ padeiro) e o pintor trabalha em outro turno (logo B ≠ pintor).
5) C e o padeiro vão no mesmo carro (logo C ≠ padeiro).

Dedução:
- Pelas (1) e (2), A não é pintor, padeiro nem cozinheiro; sobram motorista ou jardineiro. Como D já é jardineiro, A = motorista.
- Restam pintor, padeiro e cozinheiro entre B, C, E. De (4), B ≠ padeiro nem pintor → B = cozinheiro.
- De (5), C ≠ padeiro; assim C = pintor e E = padeiro.
Resultado final: A motorista, D jardineiro, B cozinheiro, C pintor, E padeiro.