premise: Two large dogs walking together through a trail with leaves on the ground. hypothesis: The big dogs are swimming in the pool.
contradiction: It is impossible for dog to be both swimming in a pool and walking through a trail.