Там слова не исковерканные, там морфемы заменили на случайные, чтоб вы все еще могли понять часть речи и общую семантику слова. Язык вообще не имеет значения до тех пор, пока вы можете перевести ту часть, которая делает логическое утверждение собственно логическим утверждением, то есть "всегда", "никогда", "существует" и прочее. Конечно, лучше знать морфологию языка, чтобы не слишком путаться, но это не столь важно, в символической логике вообще слов нет, ничего, живем. И опять же, сделано это для того, чтоб обычный человек не запутался и не начал привлекать в логическое суждение опыт. Опять же, мой пример с планетами, сущим и всем таким. Людям мешало верно решить задачу как неотвлеченность от опыта, так и размытие понятия "логики". Ну, заменим мы слово "мухрять" на, например, слово "дышу". И что? Будет у нас "Когда я сплю, я всегда дышу". И те же варианты. Один скажет, мол, я всегда дышу, нельзя не дышать и не спать, если не дышишь, значит мертвый с концами, врете, господа англосаксы, нелогично, неточно, не возьмете Валерку Селиванова вот так просто. Заменим на "храплю". Будет "Когда я сплю, я всегда храплю". Тут второй подходит, говорит, мол, врете, господа, никогда в жизни во сне не храпел, вот доказательства, пять тонн видеозаписей, ложное утверждение, я вас говорю, нелогично, неточное! Ну и вот. Никого наши слова не спасли и никому не помогли.