Алиса в стране смекалки   ::   Смаллиан Рэймонд

Случай 2 может быть проанализирован аналогичным образом, и мы приводим лишь общий ход доказательства, предоставляя читателю самостоятельно восполнить недостающие подробности.

Итак, в случае 2, если бы вопрос был задан подсудимому A, то для того, чтобы судья мог изобличить шпиона, тот должен был бы ответить "нет". При этом шпионом оказался бы сам A. Если бы вопрос был задан подсудимому B, то для того, чтобы судья мог изобличить шпиона, тот должен был бы ответить "да". Проверку этих утверждений мы предоставляем читателю (как я уже говорил, они лишь несущественно отличаются от приведенных выше рассуждений для случая 1).

Попытаемся теперь систематизировать все, что нам удалось узнать до сих пор.

В случае 1 либо судья адресовал свой третий вопрос подсудимому A, и тот, ответив "да", изобличил себя как шпиона, либо обратился с вопросом к подсудимому B, и тот, ответив "нет", изобличил себя как шпиона.

В случае 2 либо судья задал свой третий вопрос подсудимому A, и тот, ответив "нет", выдал себя как шпиона, либо судья адресовал свой третий вопрос подсудимому B, и тот, ответив "да", изобличил себя как шпиона. Таким образом, всего существуют четыре варианта:

Случай Ответ Шпион 1-й 2-й 3-й 1а Да Да Да A 1б Да Да Нет B 2а Нет Да Нет A 2б Нет Да Да B

2-й шаг. До сих пор мы могли обходиться без дополнительной информации о двух приятелях мистера Энтони.

Известно, что они либо оба решили задачу, либо оба не решили ее. Докажем, что они могли оба решить задачу.