— Н-да… — неопределенно промычал Радикс. — Все это, конечно, очень приятно, трогательно, всепохвально, умно, тонко, глубоко и широко. А скажи, пожалуйста, кстати, не знаешь ли ты, как поживают наш почтенный судья дон Базилио и трое друзей дона Диего?
Илюша как-то странно смутился и сказал, что он не совсем понял эту странную задачку из Схолии Седьмой.
— А-а-а… — протянул Радикс. — Вон оно в чем дело-то! А еще на Уникурсала Уникурсалыча рычишь. А сам, значит, насчет завещания дона Диего ни так ни сяк…
После долгих и, надо признаться, довольно нелегких размышлений Илюша наконец пришел к целому ряду важных выводов, которые позволили ему решить эту хитрую задачку.
Когда Илюша взялся за дело как следует, то скоро ему надоело писать имена друзей дона Диего, и он обозначил дона Альваро, дона Бенито и дона Висенте начальными буквами их имен:
Очевидно, что три данных условия должны исключить из этих комбинаций ровно пять, так чтобы могла остаться только одна единственная комбинация, которая уже не будет противоречить ни одному из трех условий завещания. Вместе с тем, как было указано в завещании дона Диего, ни одно из этих условий не является лишним, то есть невозможно исключить те пять комбинаций, которые должны быть отброшены, только на основании одного условия или каких-нибудь двух из трех условий.
Когда, таким образом, было выяснено и решено, что именно надо делать, Илюша начал решать задачу.
«Надо, — сказал он себе, — выяснить, о ком из троих друзей мне следует предположить, что именно этот человек видел дона Диего в зеленом плаще, а о ком — что тот именно давал ему табакерку и прочее, ибо только таким образом можно найти основания для того, чтобы отвергнуть пять комбинаций
— 163 —
из шести. Притом надо внимательно следить, чтобы ни одно из трех условий не оказалось лишним. Если это случится, то, значит, я пошел по неверному пути. Раньше всего выясняется, что кто-то, и ни в коем случае не дон Альваро, должен был видеть дона Диего в зеленом плаще, иначе первое условие было бы лишним. Значит, первое условие указывает нам, что дон Альваро не может оказаться на последнем месте, то есть мы можем совершенно отвергнуть порядки
Далее очевидно, что дон Висенте не мог быть в Саламанке в 1694 году, так как иначе второе условие ничего не сообщало бы нам о порядке выбора и, следовательно, было бы лишним.
Кроме того, это условие может исключать порядки
Наконец третье условие может исключать порядки
Чтобы можно было соединить воедино все эти выводы, Илюша немедленно составил небольшую табличку (которую можно увидеть на следующей странице); в ней он отметил, на основании какого условия может исключаться каждый из шести возможных порядков выбора.
«Легче всего, очевидно, — рассуждал Илюша, — может остаться неисключенным порядок
Таким образом, обе Илюшины попытки исключить порядок
Когда Илюша наконец это выяснил, ему захотелось разобраться и в остальных подробностях и проверить, каким же
— 164 —