I must have an ally in the house, he observed reflectively. 
He thought there should be an alley in his house.
mnli hypothesis: He thought there should be an alley in his house. premise: I must have an ally in the house, he observed reflectively. 