[1341] Se «i cani sono mammiferi» e «Stella è una cagnolina», allora si può logicamente concludere che....
Stella non ha cuccioli.
I cuccioli chiamati Stella sono mammiferi.
Stella è un mammifero.
Stella non è un mammifero.