Крокодилов не существует.
Доказательство:
Крокодил более длинный, чем широкий.
1.а. Длинный крокодил и сверху и снизу, а зелёный - только сверху. Следовательно, он более длинный, чем зелёный.
1.б. Зелёный крокодил и вдоль и поперёк, а широкий - только поперёк. Следовательно, он более зелёный, чем широкий.
Из пунктов 1.а. и 1.б. следует, что крокодил более длинный, чем широкий.
Теперь докажем обратное, что крокодил более широкий, чем длинный:
2.а. Широкий крокодил и сверху и снизу, а зелёный - только сверху. Следовательно, он более широкий, чем зелёный.
2.б. Зелёный крокодил и вдоль и поперёк, а длинный - только вдоль. Следовательно, он более зелёный, чем длинный.
Из пунктов 2.а. и 2.б. следует, что крокодил более широкий, чем длинный.
Мы пришли к взаимоисключающим параграфам. Следовательно, крокодилы просто не могут существовать.