A General Logic for Sudoku

Monster #224 from list 1465

This is part of a set-logic solution to monster puzzle #224 from the 1465 list. The original solution to the puzzle (by ttt) was presented here. The elimination logic has the form:

rank N(n sets+ m linksets), [ cover set list ]x[ cover linkset list ] reason for elimination => results

For more information on notation and set logic eliminations, see quick reference. For a full description of sets and Sudoku set logic, see the SudokuOne.com website. The entire set logic solution is here.

Elimination 10, 2 Intertwined ALS Produces Rank 0 Sets

This logic is almost the same as elimination 9. The logic is made of a cell ALS, 1249r`36c2, a column AALS, 19r1269c1, and a branching chain that interleaves through both. The overall rank is 2 and linkset 2c3, highlighted black, is rank 0 because of 2 linkset triplets. The set logic notation is:

Rank 2 = 10-8, [2r6 19c1 136n2 3n5 2b7], [4r3 129c2 2c3 2c5 69n1 1b1 9b4]

(TT)2c3 => r1c3<>2, r2c3<>2