Como usar eliminação e restrições diretas para determinar uma associação única entre itens de duas categorias?

Aplicar as restrições e eliminar opções impossíveis até sobrar a única combinação consistente.

Explicação e exemplo:
Cenário:
- Pessoas: Ana, Bruno, Carla.
- Cargos: Gerente, Vendedor, Analista.
- Cidades: Recife, Salvador, Belém.

Clues:
1) Quem atua em Recife é Gerente.
2) Ana é Analista.
3) Bruno não atua em Belém nem é Gerente.

Raciocínio por eliminação:
- Da (2), sobra para cargos: Gerente e Vendedor entre Bruno e Carla.
- Da (1), a cidade Recife exige o cargo Gerente — quem for Gerente estará em Recife.
- Da (3), Bruno não é Gerente e não pode estar em Belém; portanto, não pode estar em Recife (pois lá está o Gerente). Logo, Bruno só pode estar em Salvador e só pode ser Vendedor.
- Sobram o cargo de Gerente e a cidade Recife para Carla, e a cidade Belém para Ana.

Resultado final:
- Bruno = Vendedor, atua em Salvador.
- Carla = Gerente, atua em Recife.
- Ana = Analista, atua em Belém.

Esse processo ilustra: aplique restrições diretas, elimine impossibilidades e atribua por exclusão até obter a correspondência única.