Premise: He didn't have to kill Dave!

Hypothesis: He had no choice but to kill Dave.
Relation: contradiction