Gee wrote:I see that (9) can be placed in r4c9, which changed the complexion of things, and the PM’s you sent clarified things for me.
I do have a question of whether an AIC can be created on these cells. I don’t know how to properly apply the proper notation but I will express what I mean.
There is a strong inference on (8) between b and c. A weak inference on (8) between c and d. and a strong inference on (8) between d and e.
Therefore A<> 8 and r6c4 <> 8.
If this is not correct perhaps someone could correct my logic and AIC interpretation. . I do appreciate you replies and help. Thanks.
Gee
My one piece of advice would be to forget forever the whole business of examining links to determine what deduction you can or can't make.
You can do all of that with simpler logic where you are in complete control !
Just remember that :
1. all chains without exception proceed with alternating links (which some call "inferences")
2. all deductions for all chains without exception and therefore including loops are made by confronting the first node and the last node.
By way of illustration in your example, consider the following chains :
8r8c6=8r8c8-8r4c8=8r4c3
ie b=c-d=e
Examine first and last nodes :
if b is false, then e is true
Confront that position : if follows that at least one of them must be true, so anything which they jointly see can be eliminated : in this case 8r6c6.
Now extend that chain :
8r8c6=8r8c8-8r4c8=8r4c3-8r7c4
ie b=c-d=e-a
Confront the first and last nodes :
if b is false, then a is false : nothing to be deduced.
Now consider the loop :
8r7c4-8r8c6=8r8c8-8r4c8=8r4c3-8r7c4
ie a-b=c-d=e-a
Confront the first and last nodes (and forget about examining links) : in this case they are the same node r7c4.
The chain shows that if "a" is true, then it is false. Well "a" is either true or false. When it is false, it is false (obviously), but when it is true it is false as the chain shows : only possible deduction : "a" is false ie 8r7c4 can be eliminated.
