premise: a golden dog is running along a tire track that has been carved out in the snow. hypothesis: A cat is sleeping in the sun.
contradiction: A dog can not be a cat and running does not occur while sleeping.