premise: Four people are sitting on a rail all with their backs facing forward. hypothesis: Four people have all gone to bed.
contradiction: People can't be sitting on a rail all if they have all gone to bed.