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