premise: Several people are walking on a sidewalk while one person is laying down. hypothesis: everyone is running.
contradiction: some people cannot be walking with one laying if everyone is supposed to be running.