Premise: He should know.

Hypothesis: He should not know that.
Relation: contradiction