Ладно, попробую разобрать.
Итак, на вопрос "ты дромадер или бактриан" имеет ответ - выражение вида "А и В". И имеем (если предположить, что исходные данные верны и третье решение невозможно) два варианта:
1. "А и В" = Истина
2. "А и В" = Ложь
Если я правильно помню, выражение вида "А и В" верно только тогда, когда оба утверждения А,В истинны. Если хоть одно из них ложно, то и выражение в целом ложно. Таким образом, нам нужно проверить оба утверждения на истинность.
А - "ты не знаешь" (подразумевается, вероятно, "ты не знаешь, что я дромадер", но сути это не меняет) - очевидно, истинно, ибо иначе не был бы задан вопрос.
В - "ты никогда не узнаешь, что я дромадер". Утверждение истинно в двух случаях:
1) Верблюд не дромадер - логическое противоречие, ибо тогда он должен быть бактрианом, а выражение "А и В" оказывается истинно
2) Верблюд дромадер, но Григорий об этом не узнает - в принципе, если, как указал Боб, возможности проверки нет, утверждение истинно, ибо, действительно, узнать невозможно. Спросить других верблюдов - бестолку, ведь попону все равно не снимешь, а узнает его кто-нибудь в морду, неизвестно.
Утверждение В ложно если верблюд - дромадер и это можно узнать, что приводит нас к логическому противоречию, ибо в случае дромадера оба утверждения должны быть истинны.
Получается, что ответ - дромадер при условии невозможности проверки, которое вроде как нам подтверждено. Как я уже сказал, Дромадер Шредингера. Мне самому все это кажется хромым доказательством, но пусть будет дромадер.
Впрочем, есть еще одна дурацкая гипотеза - этот верблюд сам не знает, кто он.
