Premise: Vrenna had followed through.
Hypothesis: Vrenna did not follow through. 
Label: contradiction