Having reached the court system's mandatory retirement age, the lifelong Newton resident left the courtroom.
No retirement age was specified so she worked until 100.
mnli hypothesis: No retirement age was specified so she worked until 100. premise: Having reached the court system's mandatory retirement age, the lifelong Newton resident left the courtroom.