Premise: You can use your Hong Kong dollars here, so there's no need to change currency.

Hypothesis: You cannot use Hong Kong dollars here.
Relation: contradiction