premise: one large brown dog running along side a black and white dog. hypothesis: Both dogs are laying down.
contradiction: If the dogs are laying down, then they cannot also be running along side one another.