Considere as seguintes afirmações:
- Todos os gatos são mamíferos.
- Alguns mamíferos são animais de estimação.
A única conclusão lógica válida que pode ser derivada dessas afirmações é:
alguns animais de estimação são mamíferos.
alguns gatos são animais de estimação.
nenhum gato é um animal de estimação.
todos os animais de estimação são gatos.
todos os mamíferos são gatos.