Text: but their not that's true
Entailment: It's true they are not.
Contradiction: They are.