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