Premise: and and the ones that test positive have to retest after a certain period of time
Hypothesis: Those that test positive never have to retest. 
Label: contradiction