Premise: He says men are here.
Hypothesis: He said that the men were not here. 
Label: contradiction