Premise: That is good.

Hypothesis: That is sufficient and satisfactory
Relation: entailment