Premise: Kyoto is surprisingly large.

Hypothesis: Kyoto is as small as you would expect.
Relation: contradiction