Rule simplification
Bug fixes
Rule addition
Rule disjunctive_syllogism