下列推理只有使用词项逻辑才能揭示其有效性的是：

A.如果天下雨，则地湿。地没有湿，所以天没有下雨。

B.如果A阀门漏气或者B阀门漏气，那么锅炉将不工作。所以，如果A阀门漏气则锅炉不工作，并且如果B阀门漏气则锅炉不工作。

C.或者是张三偷吃了蛋糕，或者是李四偷吃了蛋糕。所以，如果张三没有偷吃蛋糕，那么李四就偷吃了蛋糕。

D.所有的鸟都不是哺乳动物，所有的企鹅都是鸟，所以，所有的企鹅都不是哺乳动物。