9. Прежде всего покажем, что обитатели С и D обязательно должны быть одинаковы с точки зрения их психического состояния. Допустим сначала, что А и В являются нормальными людьми. Тогда по условию психическое состояние пары В и С (точно так же, как и психическое состояние пары А и D) должно быть одинаковым. Это означает, что все четверо будут находиться в здравом уме. Следовательно, в этом случае С и D будут оба нормальными людьми. Предпо-ложим теперь, что оба обитателя А и В безумны. Тогда психическое состояние пар В и С, а также А и D будет различным. Таким образом, С и D снова оказываются нормальными людьми и тем самым их психическое состояние опять будет одинаковым. Далее допустим, что А - нормальный человек, а В лишился рассудка.
   Тогда, поскольку психика пары В и С одинакова, то С обязательно должен оказаться безумным, а так как психическое состояние пары А и D различно, то это означает, что D также будет безумным. Наконец, предположим, что А безумен, а В—нормальный чело-век. Поскольку пара В и С по условию различается по своему психическому состоянию, а пара А и D не различается, то отсюда следует, что и С, и D непремен-но должны быть безумными.
   Резюмируя, можно сказать, что если у пары А и B состояние психики оказывается идентичным, то С и D будут нормальными людьми, если же психическое состояние А и В будет неодинаковым, то С и D обязательно должны оказаться не в своем уме.
   Таким образом, мы установили, что С и D должны быть одновременно либо нормальными людьми, либо лишившимися рассудка. Предположим, к примеру, что оба они находятся в здравом уме. Тогда утверждение С, что он и D не являются оба врачами, будет истинным, откуда следует, что по крайней мере один из них является пациентом, и к тому же пациентом, находящимся в здравом уме. Если же С и D безумны, то заявление С оказывается ложным и, значит, оба они должны быть врачами, причем врачами, лишенными рассудка.
   Итак, в обследованной Крейгом лечебнице содержится по крайней мере один находящийся в здравом уме пациент или работают двое лишившихся рассудка врачей.