<prompt> Hima haal-duree lamaa fi hima haal-duree wal bira qabuu fi wal bira qabuu.nan  <response>: Himni haal-duree, hima if-then jedhamuunis kan beekamu, hima dhugaan xumuraa dhugaa buuuraa irratti hundaaeedha. Bifa yoo p tae, q p q jedhamee kan agarsiifame, p dursaayaada, q immoo buaaxumura taeen barreeffamuu dandaa. Duraan dhugaa yoo taee fi buaan isaa soba yoo tae malee himichi dhugaadha. Kana jechuun, yaadni premise dhugaa yoo tae, xumurri isaas dhugaa tauu qaba. Gama biraatiin, hima haal-duree lamaa walitti makamuu hima haal-duree lamaa bifa p yoo taee fi yoo q qofa, p q jedhamee kan ibsame dha. Himni akkasii dhugaa kan tau yoo himoonni qaama lamaan p q fi q p dhugaa yookaan soba taan. Dhugaan dubbii tokkoo dhugaa isa kaanii barbaachisa jechuudha, faallaa kanaatiin immoo. Walumaagalatti, ibsi haal-duree kan duraa fi kan itti aanu gidduutti walitti dhufeenya gahaa kan uume yoo tau, ibsi haal-duree lamaa hima lamaan gidduutti hariiroo barbaachisaa fi gahaa tae agarsiisa. Himni haal-duree dhugaan hima tokkoo dhugaa isa kaaniif wabii tauu isaa kan mirkaneessu yoo tau, himni haal-duree lamaa immoo himoonni gatii dhugaa walfakkaataa akka qaban mirkaneessa. 