Text: The horse on the right has a red mane.
Entailment: There are at least two horses
Contradiction: There is only one horse