Первые трое человек точно лжецы: левее них меньше трёх человек, и среди них не может быть хотя бы на три лжеца больше.

Рассмотрим последнего человека. Правее него нет ни одного человека, левее – не меньше трёх лжецов. Значит, он рыцарь.

Аналогично для второго, третьего и т.д. человека: правее них ни одного лжеца, левее – не менее трёх. В конце концов получится, что в ряду стоят 7 рыцарей:
