Text: if that if so
Entailment: Assuming that's correct.
Contradiction: I know for a fact that that's not true.