Premise: I must have an ally in the house, he observed reflectively.

Hypothesis: He thought there should be an alley in his house.
Relation: entailment