- Code: Select all
`(SI) e.g.: ( bilocation [a]=n=[b] ) or ( bivalue cell m-[c]-n )`

(WI) e.g.: ( peers [d]-n-[e] ) or ( ?-value cell m=[f]=n )

bilocation [a]=n=[b] : if [a] is not 'n', then [b] is 'n'

bivalue cell m-[c]-n : if [c] is not 'm', then [c] is 'n'

peers [d]-n-[e] : if [d] is 'n', then [e] is not 'n'

?-value cell m=[f]=n : if [f] is 'm', then [f] is not 'n'

[r3c1]=7=[r3c7]-7-[r9c7]-9-[r7c9]-1-[r7c5]-9-[r1c4]=9=[r1c1]-9-[r3c1] => r3c1<>9

Here's my updated Nice Loop notation ... and the updated chain bat999 posted:

- Code: Select all
`(SI) e.g.: ( bilocation [a]-n=[b] ) or ( bivalue cell m-[c]=n )`

(WI) e.g.: ( peers [d]=n-[e] ) or ( ?-value cell m=[f]-n )

bilocation [a]-n=[b] : if [a] is not 'n', then [b] is 'n'

bivalue cell m-[c]=n : if [c] is not 'm', then [c] is 'n'

peers [d]=n-[e] : if [d] is 'n', then [e] is not 'n'

?-value cell m=[f]-n : if [f] is 'm', then [f] is not 'n'

[r3c1]-7=[r3c7]=7-[r9c7]=9-[r7c9]=1-[r7c5]=9-[r1c4]-9=[r1c1]=9-[r3c1] => r3c1<>9

Exploded View: alternating strong/weak inferences

- Code: Select all
`[r3c1]-7=[r3c7] SI`

[r3c7]=7-[r9c7] WI

7-[r9c7]=9 SI

[r9c7]=9-[r7c9] WI

9-[r7c9]=1 SI

[r7c9]=1-[r7c5] WI

1-[r7c5]=9 SI

[r7c5]=9-[r1c4] WI

[r1c4]-9=[r1c1] SI

[r1c1]=9-[r3c1] WI => r3c1<>9

_