Premise: Dunkan was there.

Hypothesis: Dunkan was nowhere to be found.
Relation: contradiction