La première intervention d’Alice ne peut s’expliquer que si elle a vu deux entiers non nuls .
Celle de Benjamin signifie qu’Alice affiche aussi un entier strictement positif distinct de C .
Cunégonde a vu un B qui n’est pas A ni son double . Il reste à interpréter la deuxième affirmation d’Alice.
Alice hésite entre A = B +C et A = |C −B| , rien ne peut interdire la première possibilité . Comme A /∈ {0, B, B/2;C} , la déclaration d’Alice ne peut se justifier qui si B est pair avec |B−C|=B/2 et B+C = 95 . Ce système admet une solution unique : B = 38 et C = 57 et alorsA= 95 .
