Admita que todo A é B, algum B é C, e algum C não é A. Caio, Ana e Léo fizeram as seguintes afirmações:

Caio → se houver C que é A, então ele não será B.
Ana → se B for A, então não será C.
Léo → pode haver A que seja B e C.

Está inequivocamente correto APENAS o que é afirmado por