Diagnosing Inconsistent Requirements