premise: There is one man in the foreground with a hammer, another is in the background, possibly doing the same work as the man in the foreground. hypothesis: The man is sleeping in his bed.
contradiction: One cannot be sleeping with a hammer.