[1186] Se 'tutti i boiardi sono polemici' e 'nessun campanaro è polemico', si può logicamente concludere che....
Alcuni boiardi sono polemici.
Nessun campanaro è un boiardo.
Alcuni boiardi sono campanari.
Tutti i campanari sono boiardi.