A man wearing a blue shirt and black pants is working on an unfinished tile roof of a building .
It is probably the case that the roof has been leaking .
It is probably the case that the roof has been leaking .
It is unlikely that the roof has been leaking .
The roof has been leaking .