Todo X é também Y e todo Z não é Y. Portanto,
algum X é Z.
algum Y é Z.
nenhum Y é X.
nenhum X é Y.
nenhum X é Z.