Павелиус, хороший разбор, только он основан на полной истинности шестого пункта. Этот пункт неверен в случае если все правдивы(противоречие), или же если здесь несколько ложных, что легко устраивается. Следовательно решением будет являться любое решение, за исключением получаемых из всех верных утверждений 1-5, так как для любого не особого решения можно все неподходящие утверждения объявить ложными.
Соответственно ответом являются все решения, кроме Ш(Д)-К(Ш)-Э(П), Ш(П)-К(Ш)-Э(Д).