Premise: The official, Indianized name of this town is Tiruchchirappalli, Cityof the Sacred Rock, but the place is still identified by its colonial name, Trichy, a short form of the equally European name Trichinopoly.

Hypothesis: The city formerly known as Trichy is now strictly referred to by its Indianized name, Tiruchchirappalli.
Relation: contradiction