Doyle wrote:stuartn; Statement 2 in your last post is correct, but statement 1 is internally contradictory, it places two 4s in column 5. Suggest we sleep on it.
stuartn wrote:If R7C9 =4, then R3C5 =4. Then R6C5 = 4 and R1C7 = 9.
On the one hand, the fact that the statement contradicts his off-set x-wing argument doesn't matter. He's simply making a valid "forcing chain" argument from r7c9 to r1c7:
1) r7c9=4 => r3c9<>4 => r3c5=4 => r6c5<>4 => r6c7=4 => r1c7<>4
2) r7c9<>4 => r7c7=4 => r1c7=4.
Therefore, r1c7=4.
On the other hand, this has nothing to do with his offset x-wing, which is does not work.