Premise: All deviations had to be renewed annually.
Hypothesis: There are no deviations. 
Label: contradiction