Text: It shouldn't have been true.
Entailment: It should have been false.
Contradiction: They were relieved that it turned out to be false.