Premise: no he's not with the firm anymore
Hypothesis: He's actually still with the firm. 
Label: contradiction