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