Myriam tem 17 gatos, dos quais 5 são cinzas e 6 são felizes. Sabe-se que todos os gatos felizes conseguem somar; nenhum gato cinza consegue subtrair; todos os gatos que não conseguem subtrair, também não conseguem somar. Nesse sentido, é correto concluir que