premise: The German shepherd runs happily in the park. hypothesis: Dog lays down outside.
contradiction: The dog either runs or is laying down, not both.|contradiction: A dog that runs in a park does not lay down at the same time.|contradiction: A dog cannot run and lay down at the same time.