With this solving technique, we will prove the two following assertions:
Each assertion is proved by a different chain of simple rules. The chains are Nishio chains: they only involve a single value (like Forcing X-Chains), but 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
Chain 1: If {0}, then {2} (View 1):
{4}
Chain 2: If {1}, then {2} (View 2):
{5}