Rubuta wani ɗan gajeren sakin layi na labari da aka ba da batun da ke gaba:  Mutum X yana nazarin hujja
Tabbas, ga ɗan gajeren sakin layi: Ayelen ya bincika shaidar don tabbatar da sakamakon daidai ne. Ta bincika kowane layi na lissafi kuma ta bincika cewa algebra daidai ne. A ƙarshe, sai ta gwada amsar da ta samu da abin da ta lissafa da farko don ta tabbata cewa sun yi daidai.