Premise: my wife has been working for TI

Hypothesis: My wife has never worked for TI. 
Relation: contradiction