Premise: is he a programmer

Hypothesis: he is definitely not a programmer.
Relation: contradiction