premise: A man in a blue shirt is pushing a large green trashcan in an alley full of empty crates. hypothesis: The garbage can is self propelled.
contradiction: A man would not be pushing a garbage can that is self propelled - it is unnecessary.