基础
两个基础的排除推理 — 一个单元格剩一个候选数，或一个数字剩一个位置 — 加上指向和声明，即同一宫-线消减规则的两个方向。
唯余数
八个数字被从一个单元格中排除。解出幸存者及其20个同行单元格排除。
继续阅读
隐藏单一数
区域内一个数字的八个位置被排除。解出幸存者及其8+12个推论。
继续阅读
指向
宫到行的候选数限制与排除。
继续阅读
声明
行到宫的候选数限制与排除。
继续阅读单一数与宫-线消减规则
唯余数和隐藏单一数通过排除解决「恰好一个」约束。对于唯余数，八个数字已被从一个单元格中排除；解出幸存者会将其从所有20个同行单元格中排除。对于隐藏单一数，一个数字的八个位置已被从一个区域中排除；解出幸存位置会排除该单元格的其他数字，并将该数字从源区域外的12个同行单元格中排除。对唯余数从1数到9，对隐藏单一数在区域中对一个数字交叉排除。
Pointing 与 Claiming 不是两条独立法则，而是同一条宫线缩减规则的两个方向：当一个区域内某数字的所有候选数都落在与第二个区域的交集中时，该数字被锁定在交集中，可以从另一区域的其余部分删除。Pointing 按宫 → 线读取；Claiming 按线 → 宫读取。