As variáveis X, Y, Z, P e Q podem assumir os valores x1, y2, z3, p4, q5 . Sabe-se que X = x₁ ou Y = y₂ . Se Z = z₃, então P = p₄ . Se P ≠ p₄, então Y ≠ y₂ . X ≠ x, sub>1 e Q ≠ q₅ . A partir disso, e sabendo que todas as afirmações são verdadeiras, pode-se, com certeza, concluir que: