With this solving technique, we will prove the following assertions:
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
{4}