Having reached the court system's mandatory retirement age, the lifelong Newton resident left the courtroom.
He left his job as required.
mnli hypothesis: He left his job as required. premise: Having reached the court system's mandatory retirement age, the lifelong Newton resident left the courtroom.