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

A．捷运号是1990年以后下水的
B．捷运号属于蓝星航线
C．大通港只适用于长度小于100米的货轮
D．大通港不对其他航线开放

[说明]
在一公文处理系统中，开发者定义了一个公文类OfficeDoc，其中定义了公文具有的属性和处理公文的相应方法。当公文件的内容或状态发生变化时，关注此OfficeDoc类对象的相应的DocExplorer对象都要更新其自身的状态。一个OfficeDoc对象能够关联一组DocExplorer对象。当OfficeDoc对象的内容或状态发生变化时，所有与之相关联的DocExplorer对象都将得到通知，这种应用被称为Observer(观察者)模式。以下代码采用Java语言实现，能够正确编译通过。
[Java代码]