premise: The Hungarian invasions were ended by Otto I, Holy Roman Emperor.
hypothesis: 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 .