Todos os macerontes são torminodoros. Alguns macerontes são momorrengos.

Logo,