Dynamic Contradiction Forcing Chains

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

Because the same assumption yields to contradictory results, we can conclude that the assumption is false, that is, {3}.

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 two different chains.

Chain 1: If {0}, then {2} (View 1):
{4}

Chain 2: If {1}, then {2} (View 2):
{5}