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.