Сперва можно предположить, что рыцарей больше, чем лжецов, и отсечь этот вариант, потом, что рыцарей меньше 5 - отсечь и этот вариант. И потом взять 5р. и 6л. и показать, что здесь условия соблюдаются. Это законный математический метод, от противного.