Premise: Mr. Carter was the first to arrive.
Hypothesis: Mr. Carter arrived just after Mr. Smith. 
Label: contradiction