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

A.王刚不是软件工程师

B.不是大楚公司的董事

C.王刚是软件工程师

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