He had two men with him when he came into town.
The three men were walking quickly into town.
mnli hypothesis: The three men were walking quickly into town. premise: He had two men with him when he came into town.