Rubuta wani ɗan gajeren sakin layi na labari da aka ba da batun da ke gaba:  Mutum X ya yi tambaya game da axiom
Tabbas, ga ɗan gajeren sakin layi: Reuven yana zaune a ɗakinsa, yana tunanin wasu abubuwa da aka koya masa a makaranta. Ya yi mamakin idan duk abin da aka gaya masa gaskiya ne, ko kuma idan akwai wasu hanyoyi na kallon abubuwa. Reuven ya yanke shawarar gwada ɗaya daga cikin ra'ayoyin da aka koya masa, ya ga ko gaskiya ne.