premise: Two butchers are walking through their shop. hypothesis: Two butchers are attacking each other in the shop.
contradiction: The butchers attacking each other suggests they are not walking.|contradiction: Walking and attacking are two separate actions.|contradiction: Butchers can't be walking and attacking each other at the same time.