Bir varsayımın çelişkiye götürmesi ile eleme.
Bir hücreye bir değer varsayılır ve sonuçları takip edilir. Eğer çelişkiye ulaşılırsa (boş aday seti, birimde değer eksik kalması vb.), o varsayım yanlıştır ve aday elenebilir.
Bu, "proof by contradiction" (çelişki ile ispat) yöntemidir ve en güçlü zincir tekniklerinden biridir.
| 6 | 14 | 9 | 27 | 35 | 8 | 15 | 3 | 24 |
| 5 | 27 | 23 | 1 | 4 | 36 | 79 | 68 | 28 |
13 | 8 | 14 | 59 | 7 | 35 | 2 | 46 | 19 |
24 | 3 | 7 | 46 | 15 | 16 | 9 | 25 | 8 |
14 | 16 | 8 | 3 | 37 | 24 | 15 | 26 | 15 |
| 9 | 15 | 15 | 28 | 6 | 24 | 3 | 47 | 17 |
37 | 49 | 6 | 47 | 29 | 1 | 8 | 25 | 35 |
| 8 | 47 | 34 | 5 | 19 | 37 | 14 | 1 | 36 |
14 | 15 | 15 | 6 | 8 | 39 | 47 | 49 | 2 |