Premise: yeah there are
Hypothesis: No, there aren't 
Label: contradiction