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. 
Relation: entailment