Considere as seguintes premissas, onde A é o conjunto dos gatos, B é o conjunto dos mamíferos, C é o conjunto dos felinos e D é o conjunto dos animais terrestres, sabendo que todos os conjuntos são não vazios. Analise:

Premissa 1: “A está contido em B e em C, ou A está contido em D.”
Premissa 2: “A não está contido em D.”

Pode-se concluir, então, necessariamente que: