premise: Three men are sitting on a sofa having a casual meal at the coffee table. hypothesis: Three men sit in a formal dining room.
contradiction: Three men can't be sitting on a sofa and in a formal dining room at the same time.