Prémisse : Quatorze invités et cinq membres d'équipage restaient malades et en isolement lorsque le navire est arrivé à Port Everglades, en Floride, selon un communiqué de Carnival Cruise Lines, une marque de Carnival Corp.
Hypothèse : Le Carnival Cruise Lines est une marque de Carnival Corp.
Relation : entailment