The horse on the right has a red mane .
It is certain that there are at least two horses
It is certain that there are at least two horses
We doubt that there are at least two horses
There are at least two horses