Text: We had her down as Rita Vandemeyer, but I suppose that's incorrect?
Entailment: Is Rita not her name?
Contradiction: Rita Vandemeyer is what her birth certificate says.