premise: A brown and white dog is walking on a woodland path. hypothesis: The dog is laying on the porch.
contradiction: The dog can not be walking on the woodland path and laying on the porch at the same time.