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