Premise: Pope crowns Frankish King Charlemagne emperor

Hypothesis: There is no emperor.
Relation: contradiction