Text: it's not David is it
Entailment: Is it David, or no?
Contradiction: I know it is David.