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