Analizziamo l'affermazione di A. Se tutti e tre fossero effettivamente furfanti, A starebbe dicendo la verità, il che è una contraddizione dovendo lui stesso essere un furfante. Ne deduciamo che almeno uno fra A, B e C è un cavaliere. A, poiché sta mentendo, è un furfante: almeno uno fra B e C è un cavaliere.
B afferma di essere un cavaliere, il che non ci fornisce alcuna informazione sul suo tipo: sia un furfante che un cavaliere possono dire la frase "io sono un cavaliere" senza cadere in contraddizione.
Notiamo tuttavia che C deve essere un furfante, perché sta affermando che A è un cavaliere.
In conclusione, A e C sono furfanti e - di conseguenza - B è un cavaliere.
