 Kọ àyọkà kúkúrú nípa àkòrí tó wà nísàlẹ yìí:  Ẹni X máa ń rántí gbogbo ohun tí Ẹni Y sọ fún un : Dájúdájú, ìpínrọ kúkúrú kan rèé: Halley rántí gbogbo ohun tí Trentin sọ fún un. Ó wá dà bíi pé Halley ti gbọn báyìí. Inú Halley dùn gan-an nígbà tí Trentin sọ fún un pé òun rántí gbogbo ọrọ tó sọ. 