Premise: that's true they do

Hypothesis: that is correct, they do
Relation: entailment