Hi Bob.
The next "nice loop" for the configuration above can be a triple implication chain, with a trivalue tripod at r7c3, which implies r8c4=6. Alternatively, you can use the chain posted above by Rubylips.
As far as I am concern, this is not trial and error because it is involved in nice loop construction a process of patern recognition: this patern is the construction of strong and weak links between nodes, and make logic deductions whenever we have a loop. I think this is different from just try a number in a cell and see if there is a contradiction. But, if you prefer to see it just as T&E, then I can say that nice loops are a much more elegant form of trial and error. Why don't you try yourself, by hand, and try to find some loops in the exercises that I have posted above? I guess you will see the difference.
BTW, I have replied to a post of you in the progammers forum.
Regards, Carcul