premise: A white dog next to a basement window. hypothesis: A cat next to a window.
contradiction: A dog is not a cat.|contradiction: A dog cannot be a cat.|contradiction: There is either a dog or a cat next to a window.