Premise: A shaggy dog runs down a dirt trail in a lush forest .
Correct statement: It is certain that there is someone in the forest .
Incorrect statement: It is probably not the case that there is someone in the forest .