Premise: Spain's Arab rulers exploited this disunity to sweep north across Gaul, controlling Langue?­doc, Dordogne, and a large part of Provence, before being defeated at Poitiers in 732 by the army of Charles Martel.

Hypothesis: Spain's Arab rulers were defeated by Charles Martel's army.
Relation: entailment