premise: The horse on the right has a red mane. hypothesis: The right-hand horse has a mane that was dyed purple.
contradiction: the horse cannot have a red mane and a main that had been dyed purple at the same time.