Premise:  Dave followed, grumbling in his mind.
Hypothesis: Dave stayed where he was.
Label: contradiction