الف و ب دوست دارند که خودشان را خدایان منطق و استدلال معرفی کنند. برای آزمایش آنها شخصی این معما را طرح کرد: شما باید اعداد طبیعی X و Y را پیدا کنید. در مورد این اعداد می‌دانیم که Y از X بزرگتر است و X هم از یک بزرگتر است. همین‌طور می‌دانیم که مجموع X و Y از ۱۰۰ کمتر است. بعد از اینکه به الف حاصل ضرب این دو عدد و به ب حاصل جمع این دو عدد گفته شد، مکالمه زیر در گرفت:
الف: با این اطلاعات من نمی‌توانم این دو عدد را پیدا کنم.
ب: می‌دانستم.
الف: حالا می‌توانم آنها را پیدا کنم!
ب: حالا من هم می‌توانم!
با فرض درست بودن صحبت‌های الف و ب، اعداد X و Y کدام هستند؟ (استفاده از کامپیوتر برای حل مسئله مجاز است).