Premise: It must be! he muttered to himself.
Hypothesis: He thought but never spoke anything out loud. 
Label: contradiction