contradictingRules

The automated reasoning policy rules that contradict the claims in the input.