{5} Region Forcing Chain

With this solving technique, we will prove the following assertions:

Because the value {1} cannot be placed elsewhere in {2}, and the results are the same, we can conclude that {3}.

Each assertion is proved by a different chain of simple rules. The chains may be dynamic, which means that the conclusions of multiple sub-chains are combined.

{6} {7}

The details of each chain are given below. Use the view selector below the grid to switch between the graphical illustrations of the different chains.

{4}