Premise: and run over

Hypothesis: Not run over at all.
Relation: contradiction