Text: Even if they were in their ship, that is, rather than in this--this--_cage_.
Entailment: It would be the same even if they were in the ship and not in the cage.
Contradiction: They were still in the ship.