Se A fosse un cavaliere allora starebbe dicendo la verità, cioè sia A che B dovrebbero essere cavalieri. Ma allora B, dicendo che sono di tipo diverso, starebbe dicendo una bugia, e ciò non può essere, essendo B un cavaliere. Deduciamo che A deve essere un furfante e, di conseguenza, B un cavaliere.