В некотором городе живут три типа людей: такие, которые всегда говорят правду (правдолюбцы), всегда говорят неправду (лжецы), и шутники, в зависимости от настроения, говорят либо правду, либо неправду.
В этом городе кто-то угнал машину у градоначальника. Полиция задержала троих человек: Джона, Джека и Джо.
Логическая задача Полиции было известно, что один из них - лжец, один - всегда говорит правду, а про третьего точно неизвестно, говорит ли он правду или ложь.
Полиция также знала, что один из них угнал машину, и что этот человек всегда говорит правду.
Три человека сказали следующее:
* Джон: Я не виновен.
* Джек: Он говорит истинную правду.
* Джо: Я угнал машину.
Кто угнал машину и кто лжец?
