Premise: Teodoro tells me that they've found traces of shod horses being driven back in the canyons.

Hypothesis: Horses that had been shod had been traced going to the canyons.
Relation: entailment