Text: For bigger craft try the marina at Vilamoura or the Carvoeiro Club.
Entailment: Bigger vessels may be found at the Carvoeiro Club.
Contradiction: Only small craft are available locally.