Houve uma elipse na alternativa b:
Todo animal tipo A e (todo animal) tipo C é tipo B.
Isso invalida a opção, pois com as informações dadas não podemos afirmar que existem animais na intersecção BC.
@Raphael Alves, não apenas um, e sim, PELO MENOS um é C. Isso significa que todo animal A pode ser C.
Mas eu posso afirmar, sem errar, que qualquer animal que for A e C, tbm será B.
#diagrama de venn
Pensando nas variadas possibilidades desse diagrama, cheguei nesses desenhos:
http://sketchtoy.com/69223740
A) Todo animal tipo A, que é também tipo C, é tipo B. --> Certo ! nos dois desenhos, todo tipo A que é C também, obrigatoriamente será tipo B.
B) Todo animal tipo A e tipo C é tipo B. --> Não necessariamente, pode ou não pode ocorrer isso. Nos desenhos que fiz vemos 2 exemplos que cumprem os requisitos do enunciado e não são como essa alternativa afirma.
C) Deve existir pelo menos um animal tipo A que não seja tipo C. --> No meu segundo desenho vemos uma possibilidade que cumpre os requisitos do enunciado e é exatamente o oposto do que essa alternativa diz.
D) Não existe animal tipo C que não seja tipo B. --> Também não posso concluir isso, os desenhos feitos mostram possibilidades plausíveis cumprindo os requisitos e que vão de encontro a essa alternativa.
E) Deve existir um animal tipo C que não é tipo B. --> Também não posso afirmar isso. No enunciado foi dito que "pelo menos um animal tipo A é tipo C."
"pelo menos um" significa que há 1 ou mais. LOGO, eu poderia, com base nisso, assumir como possibilidade que A = C.
Estaria cumprindo o requisito e não teríamos animais do tipo C que não são do tipo B.
Olha esse outro desenho: http://sketchtoy.com/69223748
Gabarito: A