Merge pull request #1 from b3aver/dev

0.1.0
In resolution rule don't remove the clause where it is applied
Better implementation of the resolution method

- Insert preliminary steps.
- First interface of ClausePicker class

To be tested