Text: The number of Arawak had already fallen dramatically, so the Spanish began to import slaves from Africa to work the land; the first Africans arrived in 1517.
Entailment: Slaves had to be imported when the amount of Arawak began to decline.
Contradiction: The Spanish had plenty of Arawak to use as slaves.