contradictingRules

The automated reasoning policy rules that contradict the claims and/or premises in the input.