Nishio 是一种谨慎的“如果……会怎样？”。你假设某个候选数为真，并跟随被迫的结果（而不是胡乱猜测）。如果那个情况违反了规则，那么试填的候选数就是假的。
这是反证法——仍然是逻辑，而不是随机猜测。
原理
数独从不允许矛盾。如果假设某格是数字 D，会迫使某个区域出现两个相同数字，或让某个格子失去所有候选数，那么 D 就不能放在那里。
在试填过程中只接受被迫的步骤。教练会把强制链验证（证明一个结构）与胡乱猜测区分开——Nishio 是谨慎的那种。
如何发现
在试填情况中只跟随被迫的步骤——绝不胡乱猜测。如果局面崩溃，试填的候选数就是假的。
演示
452153653471453538926359214557234582
当简单的结构都用不上时，选一个有希望的候选数并问：如果它为真会怎样？
452153653471453538926359214557234582
只跟随被迫的填数和删除。这里在 1 上试填会导致矛盾——这就是 Nishio。
452153653471453538926359214557234582
合法的数独不可能走到那种崩溃的局面。所以试填的候选数不能为真。
452153653471453538926359214557234582
删除不可能的候选数（红色）（此处为 1）。
示例 1
7212138749213852852379781892437954596
试填一个候选数，并沿着强制链推导（只走被迫的步骤）。
7212138749213852852379781892437954596
Nishio 表明 6 在这里不能为真——它会引发矛盾。
7212138749213852852379781892437954596
删除导致矛盾的候选数（红色）（此处为 6）。那个试填的情况是非法的。
示例 2
36522153584721334549563728745358634357345
试填一个候选数，并沿着强制链推导（只走被迫的步骤）。
36522153584721334549563728745358634357345
Nishio 表明 7 在这里不能为真——它会引发矛盾。
36522153584721334549563728745358634357345
删除导致矛盾的候选数（红色）（此处为 7）。那个试填的情况是非法的。