premise: One of the buses is marked "Linea Express" while the other is marked "Metropolitan Transit System". . hypothesis: The train station has only one train.
contradiction: there is more than one train at the station.