CHECK identifies inconsistencies in the knowledge base by looking for redundant rules , conflicting rules , subsumed rulesqnnecessary