Nishio је пажљиво „шта ако?“. Пробаш кандидата као тачног и пратиш принудне последице (не насумична нагађања). Ако тај свет крши правила, пробни кандидат је био нетачан.
Ово је доказ контрадикцијом — и даље логика, а не насумично погађање.
Зашто функционише
Судоку никад не дозвољава контрадикцију. Ако претпоставка цифре D у ћелији доведе до две исте цифре у целини или испразни ћелију од свих кандидата, онда D не може бити ту.
У проби прихваташ само принудне потезе. Тренер раздваја проверу принудног ланца (доказивање обрасца) од насумичног погађања — Nishio је пажљива верзија.
Како да је уочиш
У пробном свету прати само принудне потезе — никад насумична нагађања. Ако се свет сломи, пробни кандидат је нетачан.
Демонстрација
Када једноставнији обрасци застану, изабери обећавајућег кандидата и питај: шта ако је ово тачно?
Прати само принудне уписе и елиминације. Овде проба обрасца на 1 води у контрадикцију — Nishio.
Исправан судоку не може да стигне у тај сломљени свет. Зато пробни кандидат не може бити тачан.
Елиминиши немогућег кандидата (или кандидате) (црвено) (овде 1).
Пример 1
Пробај кандидата и прати принудни ланац (само принудни потези).
Nishio показује да 6 овде не може бити тачно — распада се у контрадикцију.
Уклони кандидата (или кандидате) у контрадикцији (црвено) (овде 6). Тај пробни свет није био исправан.
Пример 2
Пробај кандидата и прати принудни ланац (само принудни потези).
Nishio показује да 7 овде не може бити тачно — распада се у контрадикцију.
Уклони кандидата (или кандидате) у контрадикцији (црвено) (овде 7). Тај пробни свет није био исправан.