Да, всегда.
- Возьмем какое-то множество домов, например, А, никакие 2 из которых не являются соседями.
- Поселим в каждый дом множества А-лжеца, а во все остальные - по рыцарю. Отсюда следует, что у каждого рыцаря, есть хотя бы один сосед лжец, иначе говоря, дом этого рыцаря можно было бы добавить во множество А. Отсюда ни у одно лжеца, не по соседству соседа-лжеца.