Premise: it's not David is it

Hypothesis: I know it is David.
Relation: contradiction