premise: Two black dogs are trotting through an empty public area. hypothesis: Two black dogs are sitting on the couch.
contradiction: They cannot be trotting and sitting at the same time. A public area is not on the couch.