premise: A dog lays on a mattress on the porch. hypothesis: A dog is running around outside playing.
contradiction: A dog that is running cannot also be a dog that lays on a mattress. A dog can't be on the porch and outside at the same time.