Implication rules, breaks some invalid test cases
Negation rules, don't seem to break anything