Теорема 
Крокодил более длинный, чем широкий. 
Доказательство будет проведено в два этапа. Сначала докажем, что крокодил более длинный, чем зелёный, а потом - что он более зелёный, чем широкий, после чего требуемое будет следовать из транзитивности отношения "более". 
1. Крокодил длинный сверху и снизу, а зелёный только сверху. Следовательно, 
крокодил более длинный, чем зелёный. 
2. Крокодил зелёный и вдоль, и поперек, а широкий только поперек. 
Следовательно, крокодил более зелёный, чем широкий. 
Что и требовалось доказать.