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

A、捷运号是1990年以后下水的。
B、捷运号属于蓝星航线。
C、大通港只适于长度小于100米的货轮。
D、大通港不对其他航线开放。
E、蓝星航线上的所有轮船都早于金星航线上的轮船下水。

【正确答案】 A

【答案解析】解析：形式逻辑型推理题。由题干知：①蓝星航线上所有货轮的长度都大于100米； ②金星航线上所有货轮的长度都小于100米，且都是1990年以后下水； ③大通港一号码头只对蓝星和金星航线开放； ④大通港一号码头只适用于长度小于100米的轮船； ⑤捷运号是最近停靠在大通港一号码头的一艘货轮。由③⑤知，捷运号要么属于蓝星航线，要么属于金星航线，再由①②④知，该船只可能属于金星航线，由②知，该船是1990年以后下水的。