Premise: A dog swims in a pool .
Correct statement: It is impossible that a dog is sleeping on the bed .
Incorrect statement: It is probably the case that a dog is sleeping on the bed .