Do ponto de vista da lógica, se alguns mamíferos são herbívoros e todos os herbívoros são folívoros, então
nenhum mamífero é folívoro.
todos os mamíferos são folívoros e nenhum herbívoro é mamífero.
todos os mamíferos são herbívoros e folívoros.
alguns mamíferos são folívoros.
alguns herbívoros são folívoros.
