A formal procedure for finding contradictions into a set of rules