Доказательство того, что крокодил более длинный, чем широкий.

Доказательство проведем в два этапа.

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

Итак, искомое доказано.