[1183] Se «Antonio possiede due automobili» e «le sue automobili sono Volkswagen», allora si può logicamente concludere che....
Antonio ha sempre guidato soltanto automobili Volkswagen.
Antonio non guida automobili Fiat.
Antonio non ha mai posseduto automobili Fiat.
Antonio non possiede automobili Fiat.