Como aplicar eliminação lógica para associar atributos exclusivos a indivíduos diante de restrições parciais?

Atribui-se, por eliminação, o atributo restante ao indivíduo que não foi excluído pelas restrições.

Identifique os atributos exclusivos e as restrições que descartam possibilidades para cada indivíduo; aquilo que não pode pertencer aos demais pertence ao remanescente.

Exemplo:
Três indivíduos têm cores favoritas distintas: Vermelho, Azul e Verde, e alturas distintas: Baixa, Média e Alta.
Informações:
- O que gosta de Azul tem altura Alta.
- Indivíduo 1 tem altura Baixa.
- Indivíduo 2 gosta de Vermelho.
Logo, o que gosta de Azul não pode ser o 1 (é Baixa) nem o 2 (já gosta de Vermelho); portanto é o Indivíduo 3, e sua altura é Alta.