Text: He didn't have to kill Dave!
Entailment: He was under no obligation to murder Dave.
Contradiction: He had no choice but to kill Dave.