Помимо этого мы можем определить, кто из них умалишенный. Поскольку Карл высказал ложное утверждение, то будучи упырем, он должен находиться в здравом уме. Но тогда и Марта также высказывает ложное утверждение: значит, будучи человеком, она безумна. Поэтому полный ответ таков: Карл — упырь в здравом уме, а Марта — человек, лишившийся рассудка. Кроме того, Карл лжет, когда утверждает, что его сестра упырь, а Марта заблуждается, заявляя, будто ее брат безумен. (Прелестная парочка, даже для Трансильвании!)
6. Теперь мы оказываемся в ситуации, когда оба действующих лица являются одновременно либо упырями, либо людьми. Следовательно, первые два высказывания не могут одновременно быть истинными; точно так же оба они сразу не могут оказаться ложными (так как если бы это было так, то это означало бы, что Сильван — упырь, а Сильвия — человек). Поэтому одно из указанных утверждений должно быть истинным, а другое — ложным. В свою очередь это означает, что один из супругов находится в здравом рассудке, а другой сошел с ума (поскольку если бы оба они находились в здравом уме, то их высказывания оказались бы либо оба истинными, будь они людьми, либо оба ложными будь они упырями). Поэтому Сильвия права, утверждая, что один из супругов нормален, а другой сошел с ума. Это сразу означает, что Сильвия высказывает истинные утверждения, и, следовательно, ее заявление о том, что ее муж — человек, истинно. Отсюда ясно, что оба они являются людьми (к тому же Сильвия в здравом рассудке, а Сильван безумен).
7. Заявляя, будто все, что говорит ее муж, правда, Глория тем самым соглашается с его утверждением о том, будто она сошла с ума. Другими словами, Глория неявно утверждает, что она сама лишилась рассудка! Однако такие высказывания (как мы выяснили в обсуждении, предшествующем решениям) могут делать только упыри, и поэтому Глория обязательно должна быть упырем. Таким образом, оба супруга являются упырями.
8. Допустим, что оба супруга — люди. Тогда их утверждения о том, будто оба они являются упырями ложны, откуда следует, что они — люди, лишившиеся рассудка. В свою очередь это должно означать, что их психическое состояние одинаково, и, следовательно, второе высказывание Бориса должно быть истинным, что оказывается совершенно невозможным для человека, лишившегося рассудка. Поэтому они никак не могут быть людьми, а значит, являются упырями (причем безумными).
9. Предположим, что супруги являются людьми, Нормальный человек никак не может утверждать, будто он (или она), а также кто-либо еще — оба сошли с ума; поэтому оба супруга должны быть людьми, лишившимися рассудка. Тогда перед вами окажутся лишившиеся рассудка люди, которые высказывают истинные утверждения, будто бы оба они сошли с ума, что невозможно. Поэтому они не могут быть людьми, а значит являются упырями. (При этом они могут оказаться упырями, как находящимися в здравом уме — которые лгут, когда утверждают, будто они сошли с ума, так и безумными — которые высказывают истину, говоря, что они сошли с ума. Вспомним попутно, что упыри, лишившиеся рассудка, всегда высказывают истинные суждения, хотя вовсе не собираются этого делать.)