Premise: The mountain biker in blue rides down a rocky path .
Correct statement: It is impossible that a man is riding horse .
Incorrect statement: It is probably the case that a man is riding horse .