A yellow gloved diver with a snorkel and mask swims underwater carrying a box with a handle .
It is certain that a diver is is getting wet .
It is certain that a diver is is getting wet .
It is probably not the case that a diver is is getting wet .
A diver is is getting wet .