Premise: there's some

Hypothesis: There is none at all. 
Relation: contradiction