Premise: All goes well.

Hypothesis: Everything as it should be.
Relation: entailment