premise: One of the buses is marked "Linea Express" while the other is marked "Metropolitan Transit System". . hypothesis: The vehicles are trains.
contradiction: The vehicles are either busses or trains. It cannot be stated that they are buses if the vehicles are actually trains.