Text: (From mid-April to October, boats run daily from Alicante and Santa Pola, whence the sea voyage takes half as long.
Entailment: In the Autumn boats run from Alicante and Santa Pola halving the time taken.
Contradiction: From mid-April to October, boats do not run from Alicante and Santa Pola.