Задача Льюиса Кэрролла

Автор широко известной книги «Алиса в Стране чудес» любил задавать следующую задачу из четырех фраз: «Из двух одно: или злоумышленник уехал в экипаже, или свидетель ошибся. Если злоумышленник имел сообщника, то он уехал в экипаже. У злоумышленника не было ни сообщника, ни ключа или у него был сообщник и был ключ. У злоумышленника был ключ». Какой вывод отсюда можно сделать?
Ответ на загадку:
Рассмотрим четыре утверждения Льюиса Кэрролла одно за другим, начиная с последнего. Итак, у злоумышленника был ключ (утверждение 4). Следовательно, у него был также и сообщник (утверждение 3). Отсюда можно сделать вывод, что он уехал в экипаже (утверждение 2) и, наконец, что свидетель не ошибся (утверждение 1).