Teka, napakahirap nitong palaisipan na 'yon — at nagugustuhan ko talaga kapag pinopost ko ito sa forum dahil pinagdedebatehan ng mga tao ang bawat detalye. Ang pinakatanyag na kandidato para sa "pinakamahirap na palaisipan sa lohika" ay ang sinasabing 'The Hardest Logic Puzzle Ever' na inilarawan ni George Boolos (na hinugot lang sa mga klasikong problema ni Raymond Smullyan). Simple ang set-up sa unang tingin: may tatlong diyos—isa laging nagsasabi ng totoo, isa laging nagsisinungaling, at ang isa ay kusang random sa pagsagot. Sila ay sumasagot lamang ng dalawang salita na hindi mo alam kung alin ang "oo" o "hindi" (karaniwang 'da' at 'ja'), at makakatanong ka lang ng tatlong yes/no questions na itinuro mo sa isang diyos kada tanong.
Ang linyang panalo rito ay ang paggamit ng meta-question na nag-aalis ng problema ng hindi mo alam kung sinungaling o totoo ang kausap at kung alin ang salitang "oo". Halimbawa, magtatanong ka ng anyo: "Kung tatanungin kita kung X ay totoo, sasabihin mo ba na 'da'?" — sa isang totoo o sinungaling na diyos, ang sagot sa pangalawang uri ng tanong na iyon ay magbibigay-daan para mabasa mo ang pagiging totoo o hindi ng X nang hindi na kailangan malaman kung 'da' ay oo o hindi. Ang mahirap na bahagi ay ang Random: kailangan mo munang tiyaking ang sinasagot mo ay mula sa hindi-random na diyos (may trick para doon), at saka mo gamitin ang natitirang dalawang tanong para i-diagnose kung sino ang totoo at sinungaling. Sa madaling sabi: 1) hanapin o siguraduhin ang isang hindi-random na diyos; 2) gamitin ang meta-'If I asked you...' na tanong para i-neutralize ang liar/truth-language issue; 3) sa dalawa pang tanong makikilala mo pareho. Hindi madali ipaliwanag nang buo sa iilang pangungusap, pero kapag nasundan mo ang lohika step-by-step, lumilinaw ang buong solusyon at sobrang satisfying kapag naresolba mo na.