Given a premise, retrieve a hypothesis that is entailed by the premise.I must have an ally in the house, he observed reflectively.
He thought there should be an alley in his house.
He said there should not be an alley in his house, because he hates alleys.