Como aplicar eliminação por exclusão e correspondência única de atributos para determinar categorias em um problema lógico?

Usando exclusão progressiva: eliminar opções impossíveis e atribuir cada atributo único por correspondência até restar uma alternativa por item.

Explicação:
Aplicar eliminação significa descartar combinações contraditórias com as pistas.
Aplicar correspondência única significa lembrar que cada categoria/atributo é atribuída apenas uma vez (relação um-para-um).
Proceda em etapas: identifique atributos fixos, elimine impossibilidades, atualize as opções restantes e repita até conclusão.

Exemplo:
Temos três profissionais com cargos Bibliotecário, Eletricista, Farmacêutico e anos de experiência 4, 9, 14.
Pistas: o farmacêutico tem 14 anos; o Profissional 1 tem 4 anos e não é bibliotecário; o Profissional 2 não é eletricista e não tem 14 anos.
Raciocínio:
- Como o farmacêutico tem 14, quem tem 14 não pode ser outro cargo.
- Profissional 1 tem 4 -> não é farmacêutico (que tem 14) e não é bibliotecário -> só resta Eletricista para o 1.
- Profissional 2 não é eletricista e não tem 14 -> não pode ser 1 nem farmacêutico -> resta Bibliotecário com 9 anos para o 2.
- Portanto, o restante (Profissional 3) é o Farmacêutico com 14 anos.