藍星航線上所有貨輪的長度都大於100米,該航線上所有客輪的長度都小於100米。藍星航線上的大多數輪船都是1990年以前下水的。金星航線上的所有貨輪和客輪都是1990年以後下水的,其長度都小於100米。大通港一號碼頭只對上述兩條航線的輪船開放,該碼頭設施只適用於長度小於100米的輪船。捷運號是最近停在大通港一號碼頭的一艘貨輪。
如果上述判定為真,則以下哪項一定為真?
小李有一次坐輪船,忽然發現自己的包不見了,往遠處一看,一個人正提著自己的包在走,追上以後,那人客氣地向他道歉說拿錯了,然後繼續往前走,這時一個民警衝過來扭住那人說他是小偷。那麼( )。