Premise: but he was with IBM fa thirty years

Hypothesis: He's never worked at IBM
Relation: contradiction