Not only can this rule engine tell when rules conflict but it can be expanded in many ways, including as an automatic theorem solver