Se existe algum P que é Q, e nenhum R é Q, qual conclusão válida sobre a relação entre P e R?

Existe pelo menos um P que não é R.

Explicação:
Formalmente, de \( \exists x\,(P(x)\land Q(x))\) e \( \forall y\,(R(y)\rightarrow \neg Q(y))\) segue \( \exists x\,(P(x)\land \neg R(x))\).
O indivíduo que simultaneamente satisfaz P e Q não pode satisfazer R, pois nenhum R satisfaz Q, portanto é P e não R.

Exemplo:
Alguns estudantes são atletas, e nenhum professor é atleta. Logo, existe pelo menos um estudante que não é professor.