Nishio یک «اگر…؟» سنجیده است. یک کاندید را درست فرض می‌کنید و پیامدهای اجباری را دنبال می‌کنید (نه حدس‌های بی‌پایه). اگر آن جهان قانون‌ها را بشکند، کاندید آزمایشی نادرست بوده است.
این برهان خلف است؛ همچنان منطق، نه حدس تصادفی.
چرا کار می‌کند
سودوکو هیچ‌وقت تناقض را نمی‌پذیرد. اگر فرض رقم D در یک خانه باعث شود یک رقم دو بار در یک واحد بیاید، یا همهٔ کاندیدهای یک خانه از بین بروند، پس D نمی‌تواند آنجا باشد.
در آزمایش فقط حرکت‌های اجباری را می‌پذیرید. مربی، اعتبارسنجی با زنجیرهٔ اجباری (اثبات یک الگو) را از حدس بی‌پایه جدا می‌کند؛ Nishio نسخهٔ سنجیدهٔ آن است.
چطور پیدایش کنیم
در جهان آزمایشی فقط حرکت‌های اجباری را دنبال کنید؛ هرگز حدس بی‌پایه نزنید. اگر جهان بشکند، کاندید آزمایشی نادرست است.
نمایش
وقتی الگوهای ساده‌تر به بن‌بست می‌رسند، یک کاندید امیدوارکننده انتخاب کنید و بپرسید: اگر این درست بود چه؟
فقط جای‌گذاری‌ها و حذف‌های اجباری را دنبال کنید. اینجا امتحان کردن الگو روی 1 به یک تناقض می‌رسد؛ Nishio.
یک سودوکوی معتبر نمی‌تواند به آن جهان شکسته برسد. پس کاندید آزمایشی نمی‌تواند درست باشد.
کاندید(های) ناممکن را حذف کنید (قرمز) (اینجا 1).
مثال 1
یک کاندید را امتحان کنید و زنجیرهٔ اجباری را دنبال کنید (فقط حرکت‌های اجباری).
Nishio نشان می‌دهد 6 اینجا نمی‌تواند درست باشد؛ به یک تناقض منفجر می‌شود.
کاندید(های) متناقض را حذف کنید (قرمز) (اینجا 6). آن جهان آزمایشی غیرمجاز بود.
مثال 2
یک کاندید را امتحان کنید و زنجیرهٔ اجباری را دنبال کنید (فقط حرکت‌های اجباری).
Nishio نشان می‌دهد 7 اینجا نمی‌تواند درست باشد؛ به یک تناقض منفجر می‌شود.
کاندید(های) متناقض را حذف کنید (قرمز) (اینجا 7). آن جهان آزمایشی غیرمجاز بود.