Premise: One of the buses is marked "Linea Express" while the other is marked "Metropolitan Transit System". 
Hypothesis: One unmarked bu
Relationship: contradiction