premise: Two dogs running near a line of tall trees. hypothesis: Two cats are out for a walk near a line of tall trees.
contradiction: There can be either dosg or cats. One cannot be running and walk at the same time.