Premise: Citybuses also go to Shenzhen.

Hypothesis: There are no bus routes to Shenzhen.
Relation: contradiction