premise: Two lean dogs, one brown and white and one black and white, run together. hypothesis: A pair of dogs are eating together.
contradiction: Two dogs cannot be eating together and running together at the same time.