premise: A brown dog walks on top of a felled tree trunk. hypothesis: The brown dog is walking on top of a branch.
contradiction: The dog cannot be both on top of a felled tree trunk and, at the same time, on top of a branch.