Myriam tem 17 gatos, dos quais 5 são cinzas e 6 são felizes. Sabe-se que • todos...

Questão de Matemática da banca FGV aplicada no concurso Banco do Brasil (2023). Confira a resolução completa abaixo:

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