premise: A spotted dog rolling over on a pad placed on a porch. hypothesis: Dog is in kitchen laying down.
contradiction: Rolling over can't happen while laying down. A dog can't be on a porch and in a kitchen.