Text: but he was with IBM fa thirty years
Entailment: He was employed by IBM for thirty years.
Contradiction: He's never worked at IBM