哈尔滨人都是北方人，有些哈尔滨人不是工人。以上命题为真，则以下哪一项肯定为真有些北方人是工人。有些北方人不是工人。有些工人是北方人。有些工人不是北方人。

A．有的机器人能够与国际象棋高手博弈。

B．那位博士生是一位围棋高手。

C．那个机器人是IBM公司的最新一代产品。

D．在那位博土生和那个机器人之间本来就存在相当大的差别。