A shaggy dog runs down a dirt trail in a lush forest .
It is probably not the case that there is someone in the forest .
It is certain that there is someone in the forest .
It is probably not the case that there is someone in the forest .
There is someone in the forest .