premise: two dogs run across the woods. hypothesis: The canines run around in the forest.
entailment: Dogs are canines, and woods are the forest.|entailment: two dogs is inferred as canines, woods are inferred as forest.|entailment: They are canines because they are dogs.