Task: Text Quality Evaluation
Input (English): A proof was given that the claim that John had lied had been made.
Output (English): acceptable