Premise: A couple is walking in a building .
Correct statement: It is impossible that the building is locked .
Incorrect statement: It is highly likely that the building is locked .