Premise:  Dave followed, grumbling in his mind.

Hypothesis: Dave stayed where he was.
Relation: contradiction