Nishio je pažljivo „što ako?“. Pretpostaviš da je kandidat istinit i pratiš prisilne posljedice (ne divlja nagađanja). Ako taj svijet krši pravila, isprobani kandidat bio je lažan.
To je dokaz kontradikcijom — i dalje logika, a ne nasumično nagađanje.
Zašto funkcionira
Sudoku nikad ne dopušta kontradikciju. Ako pretpostavka znamenke D u polju prisiljava dvije iste znamenke u jedinici ili ostavlja polje bez ijednog kandidata, D ne može biti ondje.
U pokusu prihvaćaš samo prisilne poteze. Trener razlikuje provjeru prisilnim lancem (dokazivanje uzorka) od divljeg nagađanja — Nishio je pažljiva verzija.
Kako ga uočiti
U probnom svijetu prati samo prisilne poteze — nikad divlja nagađanja. Ako se svijet slomi, isprobani kandidat je lažan.
Demonstracija
Kad jednostavniji uzorci zapnu, odaberi obećavajućeg kandidata i pitaj se: što ako je ovo istina?
Prati samo prisilne upise i eliminacije. Ovdje isprobavanje uzorka na 1 vodi u kontradikciju — Nishio.
Ispravan Sudoku ne može doći u taj slomljeni svijet. Dakle, isprobani kandidat ne može biti istinit.
Ukloni nemoguće kandidate (crveno) (ovdje 1).
Primjer 1
Isprobaj kandidata i prati prisilni lanac (samo prisilni potezi).
Nishio pokazuje da 6 ovdje ne može biti istinita — raspada se u kontradikciju.
Ukloni opovrgnute kandidate (crveno) (ovdje 6). Taj probni svijet bio je nedopušten.
Primjer 2
Isprobaj kandidata i prati prisilni lanac (samo prisilni potezi).
Nishio pokazuje da 7 ovdje ne može biti istinita — raspada se u kontradikciju.
Ukloni opovrgnute kandidate (crveno) (ovdje 7). Taj probni svijet bio je nedopušten.