19. Из того, что Эдвин Друд спрашивает сам по себе, невозможно заключить, кто же является волшебником. Но если использовать не только его вопрос, но и ранее заданные вопросы, то задача становится вполне разрешимой!
   Прежде всего из вопроса Эдвина Друда следует, что волшебник должен принадлежать к типу А. В самом деле, предположим, например, что Эдвин относится к типу А; тогда правильным ответом на его вопрос будет "да". Поэтому и он, и волшебник фактически должны принадлежать к одному и тому же типу, а значит, волшебник тоже должен относиться к типу А. С другой стороны, предположим, что Эдвин относится к типу В. Тогда правильным ответом на его вопрос окажется "нет", откуда следует, что волшебник не может принадлежать к тому же типу, что и Эдвин. Но поскольку Эдвин относится к типу В, а волшебник к этому типу не принадлежит, то волшебник опять-таки должен относиться к типу А.
   Итак, мы доказали, что волшебник принадлежит к типу А. Далее, как мы установили при решении задачи 17, волшебник вполне мог бы спросить, не является ли волшебником Чарльз Мэнсфилд. Но поскольку волшебник принадлежит к типу А, то правильным ответом на этот его вопрос является "да". Следовательно, волшебником должен быть Чарльз Мэнсфилд!