4. Вы можете решать эту задачу последовательно, рассматривая по очереди каждый из следующих четырех вариантов:
1) островитянка относится к ночному типу и спит,
2) она принадлежит к ночному типу и бодрствует,
3) она относится к дневному типу и спит,
4) она принадлежит к дневному типу и бодрствует. Можно выяснить, какой же из вариантов не противоречит условиям задачи. Тем не менее я предпочел бы следующее доказательство.
   Прежде всего, могут ли убеждения обитательницы острова оказаться ошибочными. Если это так, то она не может ни находиться во сне, ни принадлежать к ночному типу, откуда следует, что она бодрствует и относится к дневному типу. Но такое утверждение приводит нас к противоречию, поскольку человек, который бодрствует и относится к дневному типу, никак не может обладать неверными убеждениями. Таким образом, ее убеждения не могут оказаться ошибочными, а значит, они должны быть верными. Следовательно, данная жительница острова принадлежит к ночному типу и спит.