Como aplicar exclusões sucessivas para determinar atribuições únicas em um problema de associação?

Aplicando exclusões progressivas até restar uma única opção para cada elemento.

Explique passo a passo: listar todas as opções possíveis, eliminar as opções proibidas por cada pista, identificar qualquer elemento com apenas uma opção restante (atribuição forçada) e propagar essa escolha para reduzir as possibilidades dos demais até completar a solução.

Exemplo:
Itens: Caixa 1, Caixa 2, Caixa 3 — Cores: Vermelho, Azul, Verde.
Regras:
- Caixa 1 não é Vermelho nem Verde.
- Caixa 2 não é Azul.
- Caixa 3 não é Vermelho.

Possibilidades iniciais:
- Caixa 1: {Azul}
- Caixa 2: {Vermelho, Verde}
- Caixa 3: {Azul, Verde}

Passos:
- Caixa 1 só pode ser Azul (atribuição forçada).
- Com Azul ocupado, Caixa 3 não pode ser Azul → Caixa 3 = Verde.
- Resta para Caixa 2 a cor Vermelho.

Resultado final: Caixa 1 = Azul, Caixa 2 = Vermelho, Caixa 3 = Verde.