mnli premise: A small faded sign points the way to Blue Lagoon, a tiny coastal inlet with a freshwater spring just offshore. hypothesis: There is no longer a sign pointing to Blue Lagoon, an abandoned stretch of land.