Se todo X é Y e nenhum Y é Z, então é correto concluir que:
todo X é Z
pode haver X que é Z
nenhum X é Z
todo Y é X