Em um pote de doces, sabe-se que existe pelo menos um chiclete que é de hortelã. Sabe-se, também, que todos os doces do pote que são de sabor hortelã são verdes. Segue-se, portanto, necessariamente que