Теорема о крокодиле
1. Крокодил более длинный, чем зеленый. Доказательство: Крокодил длинный и сверху и снизу, а зеленый только сверху.
2. Крокодил более зеленый, чем широкий. Доказательство: Крокодил зеленый и вдоль и поперек, а широкий только поперек.
Отсюда следует, что крокодил более длинный