Premise: coverage,
Hypothesis: No covering 
Label: contradiction