Premise: no he's not with the firm anymore

Hypothesis: He's actually still with the firm. 
Relation: contradiction