Теорема о несуществовании

Используя логику еще древние греки доказывали неосуществимое. Часто они называли это софистикой, которая использовалась на третейском суде. Задача используя логический аппарат доказать теорему о несуществовании крокодила.
Доказательство:
1. Крокодил более длинный, чем зеленый.
Доказательство: Крокодил длинный и сверху и снизу, а зеленый только сверху.
2. Крокодил более зеленый, чем широкий.
Доказательство: Крокодил зеленый и вдоль и поперек, а широкий только поперек.
Отсюда следует, что крокодил более длинный, чем широкий.
Аналогично доказывается, что крокодил более широкий чем длинный. Отсюда, казалось бы, можно было сделать вывод, что крокодил квадратен, но все неравенства в рассуждениях были строгими. Из чего следует, что крокодила не существует.

Сова или жаворонок

Сова или жаворонок больше страдают при нарушении биоритма?
Иными словами должна ли сова ложиться спать раньше, а вставать раньше с жаваронком ситуация соответственно наоборот.
Ответ: для начала предположим, что биоритмы таки передаются генетически, не смешиваются и совы и жаворонки действительно существуют. Тогда новым тривиальным решением становится режим дня и объективные причины по которым сова или жаворонок вынуждены этот график соблюдать. Сова встает рано, потому что так "заведено": школа, пту, вуз, работа - требуют соблюдать жесткий режим дня. И жаворонок живет ночью, а днем спит потому что он фрилансер или работает во вторую смену.