Numa população de uma determinada espécie animal, os animais podem ter características do tipo A, B ou C. Todos os animais tipo A são tipo B e pelo menos um animal tipo A é tipo C. A partir disso, pode-se concluir que: