李明的所有网友都不是软件工程师：通过李明而认识大楚公司董事的都是软件工程师；李明的一个网友通过李明认识了王刚。根据以上陈述，可以得出（）。

A . 王刚不是软件工程师

B . 王刚不是大楚公司的董事

C . 王刚是软件工程师

D . 王刚是大楚公司的董事