Add AndToSubsetRule
Add AndToSubsetRule to the chainers
Add NegatedAndBulkEvaluationRule
Test and fix NegatedAndBulkEvaluationRule
A clarification on rule.py
Add PreciseModusPonens
Allow test files with more than one query