premise: A large brown dog is lying in the sun on a big, green dog bed. hypothesis: A dog is in the basement.
contradiction: A dog can not be in the basement and have the sun shining on it for the lack of windows.