Premise: Several women wait outside in a city .
Correct statement: It is impossible that several men are outside in the city .
Incorrect statement: It is highly likely that several men are outside in the city .