Premise: There were four engineers, supposedly.

Hypothesis: There was definitely just one engineer. 
Relation: contradiction