Premise: coverage,

Hypothesis: No covering 
Relation: contradiction