Либо все правдолюбцы, либо все лжецы.
Допустим, есть один лжец, тогда он хоть раз соврал, и, получается, его сосед тоже лжец( т.к. стоит рядом с лжецом, а все говорят, что стоят рядом с правдолюбцами) . А этот лжец также не может стоять с правдолюбцем, и, таким образом, получается, что все лжецы в данном случае.
В другом случае могут быть лишь правдолюбцы
Надеюсь, вы меня поняли))