premise: A window-washer, dangling from a cord and carrying a white bucket, works on the windows of a red brick building which is labeled with the word "BUILDING" on a carved lintel. hypothesis: Nobody has a bucket.
contradiction: window-water carrying a bucket is contradictory to nobody has a bucket.