Text: Teodoro tells me that they've found traces of shod horses being driven back in the canyons.
Entailment: Horses that had been shod had been traced going to the canyons.
Contradiction: Teodoro said that no one had found traces of horses.