Considere um diagrama lógico que representa algumas características sobre gado. Esses animais podem ser da raça Nelore ou não, podem ser de cor uniforme ou mesclada, e podem ou não possuir chifres.

Considere as seguintes informações, que formam um diagrama lógico:

\( \bullet \) Todos os Nelores possuem chifres;

\( \bullet \) Alguns Nelores são de cor preta;

\( \bullet \) Todos os bois de cor preta possuem chifres;

\( \bullet \) Todos os bois que possuem chifres são de cor uniforme;

\( \bullet \) Alguns bois de cor uniforme não são Nelore.

O diagrama lógico indica que