Como, por eliminação lógica, se determina o único fornecedor possível de um item com certa propriedade a partir das relações exclusivas entre tipos e fornecedores?

Usando eliminação: exclui-se fornecedores que não fornecem o tipo ou cujo lote apresenta a propriedade contrária, ficando o fornecedor único possível.

Explicação:
1. Liste quais fornecedores podem fornecer cada tipo.
2. Identifique fornecedores que são exclusivos de um tipo (fornecem apenas aquele tipo).
3. Use a informação sobre a propriedade (ex.: que um lote de um fornecedor não tem a propriedade) para eliminar fornecedores que não podem produzir o item com a propriedade buscada.
4. Se restar apenas um fornecedor possível, esse é o fornecedor determinado por eliminação lógica.

exemplo:
Temos dois modelos de lanterna: LED (fornecedores X e Y) e Incandescente (fornecedores Z e Y). Neste momento, apenas a lanterna Incandescente do fornecedor Z está com defeito (ou seja, sem a propriedade funciona). Pergunta: obter uma lanterna funcionando que não veio de Y — qual modelo e fornecedor?
Raciocínio: quem não veio de Y só pode ser LED (de X) ou Incandescente (de Z). Mas a Incandescente de Z está com defeito, logo não funciona. Assim, a lanterna funcionando e que não veio de Y é a LED de X.