Text: Certainly tenure was in the bag for these fellows after coming up with the formula, though it probably was likely for them anyway.
Entailment: Regardless of what the fellows were doing, they would probably get their tenure eventually anyways.
Contradiction: No matter what the fellows did, they will never be awarded tenure.