Premise: The horse on the right has a red mane .
Correct statement: It is certain that there are at least two horses
Incorrect statement: We doubt that there are at least two horses