[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.