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