premise: Four black dogs run together on bright green grass. hypothesis: Four dogs are preparing to be launched into space.
contradiction: The dogs can not be both running and in a place they can be launched into space.