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

Hypothesis: Teodoro said that no one had found traces of horses.
Relation: contradiction