Add counter example

Add counter example and isRuleAffirmed logic