Identical premises merged into one.
Towards #1
Implemented Rulebook (but ended up not creating a class for rules).
TODO: Simplify API by only allowing compound conclusions and premises.
Towards #1