Text this: Automated Software Tool Support for Checking the Inconsistency of Requirements