Premise: Kyoto's kabuki troupe performs in December and Osaka's in May.

Hypothesis: Osaka does not have a kabuki troupe.
Relation: contradiction