... by: X.
Re: Type 4 example
Abbas, in the example there IS a weak link between two strong (bivalue cell) links. I suppose weak links could be allowed as long as they follow AIC orders (i.e., alternatively strong and weak). This could actually make the strategy more powerful and universal than only strong links are allowed. What I'm not sure is that, with the inclusion of weak links, do all the rules still apply?
Andrew Stuart writes:
There was a diagram error in example 4 - I shouldn't have linked the 5s between D7 and F7 and I've removed it now. There is a weak link there as X and Ehsan correctly point out but 3D Medusa doesn't use alternating inference chains, just bi-value and bi-location pairs. What I am highlighting with the dark blue links are those pairs, and nothing else. Sorry for the confusion but thanks for pointing it out.