Se há apenas dois tipos e um deles não pode ter a propriedade P, o que se conclui se um item tem P?

Pertence ao outro tipo.

Explicação:
Quando as categorias são exaustivas, A ou B, e B é incompatível com a propriedade P, então possuir P exclui B, portanto o item deve ser de A.

Exemplo:
Uma fábrica produz só peças A ou B.
As peças B não são resistentes.
Logo, uma peça que é resistente é necessariamente do tipo A.