premise: A man walks by a building at night. hypothesis: A man is walking.
entailment: Is walking is a rephrasing of walks.|entailment: For a man to be walking, a man must walk.|entailment: "A man is walking" is another way to say "a man walks".