Premise: Otto I, Holy Roman Emperor . After putting down a brief civil war among the rebellious duchies , Otto defeated the Magyars at the Battle of Lechfeld in 955 , thus ending the Hungarian invasions of Western Europe .
Hypothesis: The Magyars were defeated by Otto I, Holy Roman Emperor.
Label: ENTAILMENT