Утверждение. Крокодил более широкий, чем длинный.

Доказательство: Сначала докажем, что крокодил более зелёный, чем длинный,
а потом что он более широкий, нежели зелёный, тогда в силу транзитивности
операции более, теорема будет полностью доказана.

1) Крокодил более зелёный, чем длинный.
Крокодил длинный только вдоль, а зелёный и вдоль и поперёк.

2) Крокодил более широкий, нежели зелёный.
Крокодил зелёный только сверху, а широкий и сверху и снизу.