Premise: (Click to read about Cook and ABA if you missed the previous link to it.)
Hypothesis: Click here to learn about Cook if you missed it. 
Label: entailment