Considere que em um jogo há três personagens
principais: Alice, Bob e Carol. Cada
personagem pode escolher somente ou um
gato, ou um cão ou um pássaro. Ademais, cada
personagem pode estar associado a apenas uma
das cores violeta, azul ou vermelho. Considere
verdadeira a seguinte proposição:
“Alice escolheu um gato e não está associada a
cor violeta.”
Portanto, é necessariamente verdade que: