premise: A white dog rolling on its back on a porch. hypothesis: A dog runs happily through the house.
contradiction: A dog can't be rolling while it runs. A dog can't be in the house while on a porch.