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 7, Complex Structure

This is a complex rank 2 elimination where the candidate is overlapped by 2 linksets (highlight below) augmented by the linkset triplet at 1r1c1. The set logic notation for the elimination is:

Rank 2(16+18), [13568r1 6r2 1r6 5c3 9n1 1236n4 1b3 9b4 6b5]x

[1r3 59r6 169c1 1c2 368c4 6c6 1n139 2n8 6n3 13b2], (T1r1c1)1r3*1b2 => r3c5<>1