תנין יותר ארוך או יותר ירוק?

יותר ירוק. זה חשוב לאיכות הסביבה.

לפי התיאוריה הרביעית של ראלף כהן כל תנין אשר אורכו גדול מארבעה מטרים וירוקו חזק מירוק של קליפת קוקוס הרי הוא משובח, ותנין זה ראוי לשם "תנין ירוק".
לעומת זאת, כמו במתמטיקה, אפשר גם להשתמש במשפט הזה במשמעות הפוכה, שאם תנין זה אינו ירוק יותר מקליפת קוקוס הרי תנין זה אינו משובח והוא ראוי להיות קרוי "תנין ארוך".