Premise: There were four engineers, supposedly.
Hypothesis: There was definitely just one engineer. 
Label: contradiction