[1337] Se 'alcuni ladri sono marziani' e 'tutti i ladri sono delinquenti', si può logicamente concludere che.... Tutti i delinquenti sono ladri. Tutti i marziani sono delinquenti. Alcuni delinquenti sono marziani. Nessun delinquente è un marziano.