Nishioは、慎重な「もしも？」です。ある候補を正解と仮定し、強制される結果だけをたどります（当てずっぽうではありません）。その世界でルールが破れたら、試した候補は誤りです。
これは背理法です。ランダムな当て推量ではなく、れっきとした論理です。
なぜ成り立つのか
数独では矛盾は決して許されません。あるマスに数字Dを仮定すると、ハウスに同じ数字が2つ入ったり、マスの候補がすべてなくなったりするなら、Dはそこに入りません。
試行の中では強制される手だけを受け入れます。フォーシングチェーンによる検証（パターンの証明）と当てずっぽうは別物で、Nishioは慎重なほうです。
見つけ方
試行の世界では強制される手だけをたどり、決して当てずっぽうはしないこと。世界が破綻したら、試した候補は誤りです。
デモ
452153653471453538926359214557234582
簡単なパターンで進まなくなったら、有望な候補を1つ選び、「これが正解だったら？」と考えます。
452153653471453538926359214557234582
強制される配置と除外だけをたどります。ここでは1でパターンを試すと矛盾に至ります。これがNishioです。
452153653471453538926359214557234582
正しい数独がそのような壊れた世界にたどり着くことはありません。よって試した候補は正解ではありません。
452153653471453538926359214557234582
ありえない候補を消しましょう（赤）（ここでは1）。
例1
7212138749213852852379781892437954596
候補を試し、フォーシングチェーン（強制される手だけ）をたどりましょう。
7212138749213852852379781892437954596
Nishioにより、ここでは6が正解でないとわかります。矛盾が生じるからです。
7212138749213852852379781892437954596
矛盾した候補を消しましょう（赤）（ここでは6）。その試行の世界はルール違反でした。
例2
36522153584721334549563728745358634357345
候補を試し、フォーシングチェーン（強制される手だけ）をたどりましょう。
36522153584721334549563728745358634357345
Nishioにより、ここでは7が正解でないとわかります。矛盾が生じるからです。
36522153584721334549563728745358634357345
矛盾した候補を消しましょう（赤）（ここでは7）。その試行の世界はルール違反でした。