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