premise: In the living room, there is a couch, a number of lights and seat looking onto a television. . hypothesis: The couch is in the kitchen.
contradiction: The couch is not in the kitchen if its in the living room.