A man on a beach chopping coconuts with machete .
It is probably not the case that the man is thirsty
It is probably not the case that the man is thirsty
It is certain that the man is thirsty
The man is thirsty