Como aplicar eliminação por incompatibilidade para determinar associações únicas em problemas de lógica proposicional?

Eliminar opções incompatíveis até restar uma associação única.

Explicação:
Aplicar eliminação por incompatibilidade significa usar as condições dadas para excluir combinações impossíveis entre categorias (idade, profissão, objeto, etc.) até que cada elemento tenha apenas uma opção possível.
Comece marcando relações diretas, use negações para riscar opções contrárias e avance por dedução até restar uma única associação para cada elemento.

Exemplo:
Temos três pessoas com idades diferentes e três ocupações (engenheiro, chef, músico) e meios de transporte (bicicleta, carro, motocicleta). Sabemos:
- A mais nova é o engenheiro.
- O dono da bicicleta não é o chef.
- O músico não é o mais velho.
- O mais velho não é o engenheiro.
- O músico tem carro.

Dedução:
- Como a mais nova = engenheiro, o engenheiro é a pessoa mais nova.
- O mais velho não pode ser engenheiro, ok.
- O músico não é o mais velho e também não é o mais novo (pois o mais novo é engenheiro), então o músico é a pessoa do meio.
- Como o músico tem carro, a pessoa do meio tem carro.
- Sobram as ocupações: chef = pessoa mais velha.
- O dono da bicicleta não é o chef (mais velho), logo a bicicleta pertence ao engenheiro (mais novo).
- Resta a motocicleta para o chef (mais velho).

Conclusão do exemplo:
- Mais nova = engenheiro = bicicleta.
- Do meio = músico = carro.
- Mais velha = chef = motocicleta.