Premise: A man in a red shirt entering an establishment.
Correct statement: It is impossible that lucy was at the library.
Incorrect statement: Chances are about even that lucy was at the library.