Premise: A brown and black dog is laying on a shaggy rug .
Correct statement: It is certain that a dog is lying on a rug .
Incorrect statement: It is probably not the case that a dog is lying on a rug .