Notiamo che se un abitante dell'isola di Smullyan dice <<Fra di noi c'è almeno un furfante>> allora deve essere necessariamente un cavaliere: se fosse un furfante, infatti, starebbe dicendo la verità perché sicuramente almeno un furfante nel gruppo c'è - lui stesso.
Deduciamo che A deve essere un cavaliere, quindi - poiché un cavaliere dice semre la verità - c'è almeno un furfante nel gruppo.
Ipotizziamo ora che B sia un cavaliere: visto che quello che dice è vero, allora anche C dovrebbe essere un cavaliere - ma ciò non è possibile perché da A sappiamo che ci deve essere almeno un furfante.
Deduciamo che B è un furfante e di conseguenza anche C.
