Using default reasoning to discover inconsistencies in natural language requirements