premise: A woman is looking at the ceiling while taking off her hat. hypothesis: Mike went home.
contradiction: A woman is not named Mike. If Mike went home he is on his way so he cannot be looking at a ceiling at the same time.