A man in a blue shirt walking out a door .
It is certain that a man leaves a large building through the front door .
It is probably not the case that a man leaves a large building through the front door .
It is certain that a man leaves a large building through the front door .
A man leaves a large building through the front door .