Premise: a black dog splashes in the water .
Correct statement: It is impossible that a cat is in the water .
Incorrect statement: It is probably the case that a cat is in the water .