Text: Or maybe only 30 are true, in which case three should be confirmed overwhelmingly.
Entailment: There are at least 30.
Contradiction: Of the 30 it is expected that at least twenty would be confirmed.