With this solving technique, we will prove the following assertions:
Each assertion is proved by a different chain of simple rules. The chain is static, which means that each step in the chain relies only on what we see the grid, not on the results of previous assertions (ie "Dynamic Chaining").
{6} {7}
The details of each chain are given below. Use the view selector below
the grid to switch between the
{4}