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