premise: Two dogs are bending over and looking down into a ditch to investigate. hypothesis: The cats are climbing out of the ditch.
contradiction: They are either dogs or cats, looking down or climbing out.