Managing rules of your tableau method

To add rules, you can click on the button on the top of the window.
To delete a rule, go on the left on a rule and click right.
To change the order of the rules, you can go on the left on a rule and use the left button to drag and drop a rule.


About the order of the rules.

The strategy S to perform the tableau method is the following:
Let r FIRST rule of the list that is applicable (the left hand-side is unifiable with a slice of the premodel and the right hand-side is not present in the premodel yet).
If there is no such rule r, the tableau method stops.
If there is one, the system apply r and restart S.