An Example

Using the previous running example.

• The Derived Rules
• Rule Application
• Selecting the Result