Dynamic Cell Forcing Chains

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

Because the cell {1} cannot contain other values, and the results are the same, we can conclude that {2}.

Each assertion is proved by a different chain of simple rules. The chains can be dynamic, which means that the conclusions of multiple sub-chains must be combined in some cases.

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.

{3}