premise: One of the buses is marked "Linea Express" while the other is marked "Metropolitan Transit System". . hypothesis: The buses have the same name.
contradiction: 'Linea express' and 'Metropolitan Transit System' are not the same name.