Premise: Having reached the court system's mandatory retirement age, the lifelong Newton resident left the courtroom.

Hypothesis: He left his job as required.
Relation: entailment