A couple is walking in a building .
It is highly likely that the building is locked .
It is impossible that the building is locked .
It is highly likely that the building is locked .
The building is locked .