下列各项推理中，推理形式有效的是？
选项：

A:所有人都不是草木，草木是无情的；所以所有人都不是无情的。;
B:所有鸟都是会飞的，企鹅不会飞；所以企鹅不是鸟。;
C:有些家用电器是需要接通电源的，有些需要接通电源的东西是危险的；所以有些家用电器是危险的。;
D:大部分中国人都不会说梵语，小王是中国人；所以小王不会说梵语。