Sabe-se que:

• Todo M é N ou P;

• Algum Q é M e R.

• Todo P não é R.

Portanto, algum Q