Esatto, quella di Guaire era incompleta dal punto di vista logico.
I 2 metodi per risolvere la cosa erano quello che hai indicato tu (metodo più breve) o quello indicato da Miave, che prende in considerazione 1 affermazione alla volta per vera, partendo dalla prima ed escludendo poi per logica i percorsi "ciechi".
Cmq, apro un altro thread dove posto il nuovo problemino, divertitevi.
P.S.: Quella postata da Tibù è ultra-old, stava pure nel film Labyrinth.![]()