Como aplicar exclusão e informação de "próximo" para determinar associações em um problema lógico?

Eliminar opções incompatíveis e usar "próximo" para inferir distinção entre itens; então atribuir por exclusão progressiva.

Explicação:
1) Liste todas as opções para cada entidade.
2) Aplique as restrições que eliminam opções imediatamente.
3) Interprete "próximo" como indicação de que os dois itens são diferentes (não podem coincidir).
4) Use eliminação por exclusão sucessiva até sobrar uma opção para cada entidade.

Exemplo:
Entidades: Funcionários — Anna, Bruno, Carlos, Diana; Locais: Norte, Leste, Sul, Oeste.
Pistas:
- Bruno não trabalha no Norte nem no Leste.
- Carlos trabalha a 10 m do Sul (logo não no Sul).
- Diana trabalha no Oeste.
- Quem trabalha no Norte trabalha próximo de Carlos (portanto são pessoas diferentes).

Solução passo a passo:
- Pela pista de Bruno, restam Sul ou Oeste para ele.
- Diana ocupa Oeste, logo Bruno só pode ser Sul.
- Carlos não pode ser Sul; com Oeste e Sul ocupados, sobram Norte e Leste para Anna e Carlos.
- Como o morador do Norte é próximo de Carlos, eles são distintos, então Carlos não é Norte, portanto Carlos = Leste e Anna = Norte.

Resultado: Anna — Norte; Bruno — Sul; Carlos — Leste; Diana — Oeste.