A: The hypothesis is this: Chain 1(1) cannot be eliminated.
g: found either state for r4c5#1 leads to the same conclusion |---c1--|---c2--|---c3--||---c4--|---c5--|---c6--||---c7--|---c8--|---c9--
-----------------------------------------------------------------------------
r1 | 1 | 2467 | 3467 || 24678 | 5 | 23678 || 678 | 4678 | 9
| | | c || | | dCddd || | |
---+-------+-------+-------||-------+-------+-------||-------+-------+-------
r2 | 5 | 24679 | 4679 || 1 | 2478 | 26789 || 678 | 3 | 467
| | | || | | || | |
---+-------+-------+-------||-------+-------+-------||-------+-------+-------
r3 | 369 | 4679 | 8 || 4679 | 347 | 679 || 2 | 5 | 1
| Cdd | | || | c | || | |
===========================||=======================||=======================
r4 | 2389 | 5 | 179 || 2789 | 1278 | 4 || 679 | 2679 | 367
| Abbb | | F || b | Fb | || | b | Cdd
---+-------+-------+-------||-------+-------+-------||-------+-------+-------
r5 | 4 | 179 | 1379 || 5 | 6 | 1279 || 379 | 279 | 8
| | | dCdd || | | || c | |
---+-------+-------+-------||-------+-------+-------||-------+-------+-------
r6 | 2689 | 6789 | 679 || 3 | 278 | 2789 || 4 | 1 | 5
| a | | || | | || | |
===========================||=======================||=======================
r7 | 689 | 14689 | 2 || 4678 | 13478 | 1678 || 5 | 46789 | 3467
| | | || | dCddd | || | | c
---+-------+-------+-------||-------+-------+-------||-------+-------+-------
r8 | 689 | 3 | 1469 || 24678 | 12478 | 5 || 16789 | 46789 | 467
| | | f || | f | || Effff | |
---+-------+-------+-------||-------+-------+-------||-------+-------+-------
r9 | 7 | 1468 | 5 || 468 | 9 | 1368 || 1368 | 468 | 2
| | | || | | c || dCdd | |
-----------------------------------------------------------------------------
load this puzzle
Logical analysis: Chain 1(0)
A: The hypothesis is this: Chain 1(1) cannot be eliminated.
A: Chain 1: r4c1#2(1), r6c1#2(0)
A: setting r4c1#2 TRUE chain 1 parity 1
a: The hypothesis forces chain 1(0) to be FALSE
a: setting r6c1#2 FALSE chain 1 parity 0
b: The hypothesis forces weakly associated nodes 1(1) to be FALSE:
b: setting r4c1#3 FALSE
b: setting r4c4#2 FALSE
b: setting r4c5#2 FALSE
b: setting r4c8#2 FALSE
b: setting r4c1#8 FALSE
b: setting r4c1#9 FALSE
c: The hypothesis is linked by 1(1)/3(1)
c: Chain 3: r1c3#3(1), r1c6#3(0), r3c1#3(0), r4c1#3(1), r3c5#3(1), r5c3#3(0), r4c9#3(0), r5c7#3(1), r7c5#3(0), r9c6#3(1), r7c9#3(1), r9c7#3(0)
c: setting r1c3#3 FALSE chain 3 parity 1
c: setting r3c5#3 FALSE chain 3 parity 1
c: setting r5c7#3 FALSE chain 3 parity 1
c: setting r9c6#3 FALSE chain 3 parity 1
c: setting r7c9#3 FALSE chain 3 parity 1
C: The hypothesis forces chain 3(0) to be TRUE
C: setting r1c6#3 TRUE chain 3 parity 0
C: setting r3c1#3 TRUE chain 3 parity 0
C: setting r5c3#3 TRUE chain 3 parity 0
C: setting r4c9#3 TRUE chain 3 parity 0
C: setting r7c5#3 TRUE chain 3 parity 0
C: setting r9c7#3 TRUE chain 3 parity 0
d: The hypothesis forces weakly associated nodes 3(0) to be FALSE:
d: setting r1c6#2 FALSE
d: setting r1c6#6 FALSE
d: setting r1c6#7 FALSE
d: setting r1c6#8 FALSE
d: setting r3c1#6 FALSE
d: setting r3c1#9 FALSE
d: setting r5c3#1 FALSE
d: setting r5c3#7 FALSE
d: setting r5c3#9 FALSE
d: setting r4c9#6 FALSE
d: setting r4c9#7 FALSE
d: setting r7c5#1 FALSE
d: setting r7c5#4 FALSE
d: setting r7c5#7 FALSE
d: setting r7c5#8 FALSE
d: setting r9c7#1 FALSE
d: setting r9c7#6 FALSE
d: setting r9c7#8 FALSE
e: The hypothesis is linked by 3(0)/8(0)
e: Chain 8: r8c7#1(1), r9c7#1(0)
E: The hypothesis forces chain 8(1) to be TRUE
E: setting r8c7#1 TRUE chain 8 parity 1
f: The hypothesis forces weakly associated nodes 8(1) to be FALSE:
f: setting r8c3#1 FALSE
f: setting r8c5#1 FALSE
f: setting r8c7#6 FALSE
f: setting r8c7#7 FALSE
f: setting r8c7#8 FALSE
f: setting r8c7#9 FALSE
F: column 3 is nearly all FALSE for #4, so a TRUE there forces one of the others FALSE
F: column 5 is nearly all FALSE for #4, so a TRUE there forces one of the others FALSE
F: The hypothesis forces all of the following to be TRUE:
F: setting r4c3#1 TRUE
F: setting r4c5#1 TRUE
g: The hypothesis is linked by r4c3#1 chain 5(1)
g: Chain 5: r4c3#1(1), r4c5#1(0), r5c6#1(1)
g: setting r4c5#1 FALSE chain 5 parity 0
g: found either state for r4c5#1 leads to the same conclusion