Аралда рыцарьлар (әрқашан шын айтады) мен өтірікшілер (әрқашан өтірік айтады) тұрады. A: «B — өтірікші». B: «C — өтірікші». C: «A да, B да өтірікші». Рыцарь кім?

A мен C-ның айтқаны B-ның жағдайына қарама-қарсы болуы керек. B рыцарь болса, A мен C — өтірікші, C-ның сөзі жалған — қайшылық жоқ. B өтірікші болса, A мен C рыцарь, бірақ C-ның сөзі жалған — қайшылық.