Premise: i don't know if they don't have them up there do they

Hypothesis: I know for sure that they have them there.
Relation: contradiction