Text: i know that would be a a definite B V R M I R
Entailment: That would be a definite BVRMIR
Contradiction: I know that wouldn't be