premise: Two large dogs frolic in a grassy field. hypothesis: Two big dogs are laying in their beds taking a nap.
contradiction: The dogs can't frolic and be laying on the ground at the same same time.