premise: Two old men, one holding a bag and one wearing a hat, walk down a leaf-covered path through the trees. hypothesis: Two old men walk through the mall together.
contradiction: One cannot be going through the mall and a leaf-covered path through the trees at the same time.