Il y a 4 configurations possibles, suivant que respectivement Kkbfn et
Aoauyio sont Ptisaint ou Bobar , notées PP, PB, BP, BB. La réponse à la
deuxième question est Non dans les cas PP et BB, et Oui dans les cas PB et
BP.
Les tableaux ci dessous donnent les possibilités de réponse suivant que cela
a été dit ou pas, et suivant les configurations. Il y a bien entendu des
choses impossibles : dans le cas BB, par exemple, il est impossible à A de
dire K est un Bobar ou nous sommes tous les deux Bobars.
Cela donne donc çà :
| Preums | PP | PB | PB | BP | BP | BB |
| A Dit K=B | N | N | O | N | O | N |
| Q1 | N | O | N | O | N | O |
| Q2 | N | O | O | O | O | N |
| Deuse | PP | PB | BP | BP | BB |
| A Dit A=K=B | N | N | N | O | N |
| Q1 | N | O | N | O | O |
| Q2 | N | O | O | O | N |
Preums peut conclure sur NN (PP) et ON (BB) mais pas sur OO et NO qui ne
permettent de discriminer entre BP et PB.
Deuze peut conclure sur NN (PP), ON (BB) et NO (BP) mais pas sur OO qui ne
permet de discriminer entre BP et PB.
Comme un seul peut conclure, on est dans le cas BP. Est comble de l'absence
d'information qui devient information, tout cela parce que Aoauyio n'a
jamais dit "Nous sommes tous les deux des Bobars"!
