Kọ àyọkà kúkúrú nípa àkòrí tó wà nísàlẹ̀ yìí:  Ènìyàn X ń béèrè èrò orí Ènìyàn Y
Dájúdájú, ìpínrọ̀ kúkúrú kan rèé: Gigi bẹ̀rẹ̀ sí í ṣiyèméjì nípa ọ̀nà tí Tami gbà ń ronú. Ó sọ pé: "Bí a bá jẹ́ pé a = b àti pé b = c, a = c nìyẹn, àmọ́ tí d bá jẹ́ pé e, ìyẹn ò túmọ̀ sí pé a = e". Ìyàlẹ́nu ló jẹ́ fún Tami pé Gigi mọ̀ èyí, ó sì kọ́ láti máa ronú dáadáa.