Premise: It holds the various courts of the city, together with a library of law and a basement restaurant.

Hypothesis: It does not hold any of the courts of the city.
Relation: contradiction