Premise: Three men are working on a roof .
Correct statement: It is impossible that the builder replaces the windows .
Incorrect statement: It is probably the case that the builder replaces the windows .