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.
Quindi deduciamo che A deve essere un cavaliere. Di conseguenza anche B è un cavaliere, perché sta dicendo il vero - essendo A un cavaliere.
Infine, indipendentemente da quello che dice, C deve essere un furfante, perché A dice il vero ma né A né B sono furfanti.