Nishio je previden »kaj če?«. Kandidata preizkusiš kot resničnega in slediš vsiljenim posledicam (ne divjemu ugibanju). Če ta svet prekrši pravila, je bil preizkušeni kandidat napačen.
To je dokaz s protislovjem — še vedno logika, ne naključno ugibanje.
Zakaj deluje
Sudoku nikoli ne dopušča protislovja. Če predpostavka števke D v celici vsili dve enaki števki v enoti ali izprazni celico vseh kandidatov, D tam ne more biti.
V preizkusu sprejmeš le vsiljene poteze. Preverjanje s prisilno verigo (dokazovanje vzorca) je ločeno od divjega ugibanja — Nishio je previdna različica.
Kako ga opaziti
V preizkusnem svetu sledi le vsiljenim potezam — nikoli divjemu ugibanju. Če se svet zlomi, je preizkušeni kandidat napačen.
Prikaz
Ko preprostejši vzorci zastanejo, izberi obetavnega kandidata in se vprašaj: kaj če bi bil ta resničen?
Sledi le vsiljenim vpisom in izločanjem. Tu preizkus vzorca na 1 vodi v protislovje — Nishio.
Veljaven sudoku ne more priti v ta zlomljeni svet. Preizkušeni kandidat torej ne more biti resničen.
Izloči nemogoče kandidate (rdeče) (tu 1).
Primer 1
Preizkusi kandidata in sledi prisilni verigi (le vsiljene poteze).
Nishio pokaže, da 6 tu ne more biti resnična — eksplodira v protislovje.
Odstrani protislovne kandidate (rdeče) (tu 6). Ta preizkusni svet je bil nedovoljen.
Primer 2
Preizkusi kandidata in sledi prisilni verigi (le vsiljene poteze).
Nishio pokaže, da 7 tu ne more biti resnična — eksplodira v protislovje.
Odstrani protislovne kandidate (rdeče) (tu 7). Ta preizkusni svet je bil nedovoljen.