premise: Two surfers are exiting the ocean while some other people are wading the surf. hypothesis: Two surfers are exiting the ocean.
entailment: Exiting the ocean while other people are wading requires exiting the ocean.