Text: "So the lake's out," Bork decided.
Entailment: Therefore the lake is out, Bork said.
Contradiction: The lake is not out!