The example on the right shows a classic and relatively simple deduction based on a loop that is predominantly candidates 3 and 4. But the two bi-value cells E8 and E9 containing 4/5 and 2/4 allow us to form strong links that continue the number 4 we’re tracing from E2 to F8. We end up with two weak links pointing to B7, where the 1 can be removed, thanks to Nice Loop Rule 3. Our grouped node on [E8|E9] acts just as a normal cell. The solver gives us:
AIC on 1 (Grouped Discontinuous Alternating Nice Loop, length 10): +1[B7]-3[B7]+3[B2]-3[E2]+4[E2] -4[E8|E9]+4[F8]-1[F8]+1[F7]-1[B7] - Contradiction: When B7 is set to 1 the chain implies it cannot be 1 - it can be removed
|
 Grouped AIC: Load Example or : From the Start |