Premise: Certainly tenure was in the bag for these fellows after coming up with the formula, though it probably was likely for them anyway.
Hypothesis: Regardless of what the fellows were doing, they would probably get their tenure eventually anyways. 
Label: entailment