Even now our miners work for only five years and are paid the rest of their lives for it.
If our miners work more than 5 years, they die.
mnli hypothesis: If our miners work more than 5 years, they die. premise: Even now our miners work for only five years and are paid the rest of their lives for it.