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 14, Box Ended Chain

This logic forms a simple chain with a box set end. The set logic notation for the elimination is:

Rank 1(2+3), [4c2 4b8]x[4r37 4c5] 4r3*4c5 => r3c5<>4

=> 4r2c6 => r2c3<>4 r2c6<>1236 r7c6<>4

=> 2r3c5 => r3c29<>2r46c5<>2 r1c6<>2