На острове живут только Рыцари и Лжецы. Рыцари говорят только правду, а лжецы всегда врут.
Артур, Боб, Вилльям, Генрих, Джеймс, Кевин, Ланселот и Эдгар живут на этом острове.

Ланселот: Джеймс -- лжец, а Вилльям -- рыцарь
Артур: это неправда, что Джеймс лжец
Кевин: Ланселот мог бы сказать, что Вилльям лжец
Эдгар: Кевин и Артур говорят неправду

Джеймс: либо Боб рыцарь, либо Кевин рыцарь

Боб: Эдгар и Джеймс -- один из них всегда лжет, другой всегда говорит правду
Вилльям: Эдгар лжец
Генрих: Боб говорит неправду

Вопрос... нет, мне совсем не интересно, кто из них рыцарь, а кто лжец (хотя интересно, конечно)... мне гораздо интереснее, как написать программку, которая будет подобные тесты генерить!