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: