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. 
Relation: entailment