Premise: A man in a red shirt is walking on the street .
Correct statement: It is impossible that the man is inside his house
Incorrect statement: It is highly likely that the man is inside his house