Text: Having reached the court system's mandatory retirement age, the lifelong Newton resident left the courtroom.
Entailment: He left his job as required.
Contradiction: No retirement age was specified so she worked until 100.