Como usar eliminação de opções mutuamente exclusivas para determinar propriedades únicas?

Passos:
1. Identificar restrições exclusivas e relações de ordem.
2. Eliminar opções incompatíveis com cada restrição.
3. Propagar consequências das eliminações para outras variáveis.
4. Verificar contradições e adotar a atribuição restante.