蓝星航线上所有货轮的长度都大于100米，该航线上所有客轮的长度都小于100米。蓝星航线上的大多数轮船都是1990年以前下水的。金星航线上的所有货轮和客轮都是1990年以后下水的，其长度都小于100米。大通港一号码头只对上述两条航线的轮船开放，该码头设施只适用于长度小于100米的轮船。捷运号是最近停在大通港一号码头的一艘货轮。
如果上述判定为真，则以下哪项一定为真？
答案：
解析：
蓝星航线上所有货轮的长度都大于100米，该航线上所有客轮的长度都小于100米。蓝星航线上的大多数轮船都是1990年以前下水的。金星航线上的所有货轮和客轮都是1990年以后下水的，其长度都小于100米。大通港一号码头只对上述两条航线的轮船开放，该码头设施只适用于长度小于100米的轮船。捷运号是最近停在大通港一号码头的一艘货轮。
如果上述判定为真，则以下哪项一定为真？
