premise: The dog with the green collar and ball is running behind the dog with the red collar. hypothesis: two dogs are laying in bed.
contradiction: Running and laying in bed are basically opposite actions.