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

• A、王刚不是软件工程师
• B、王刚不是大楚公司的董事
• C、王刚是软件工程师
• D、王刚是大楚公司的董事