premise: The bus is gleaming. hypothesis: The bus is driving through a dark tunnel.
contradiction: Is gleaming and driving through a dark tunnel are not the same thing. Gleaming is shiny. There is no way to tell if the bus is shiny if it is driving though a dark tunnel.