所有向日葵都是向阳的，这棵植物是向阴的，所以这棵植物不是向日葵。上述推理的形式结构与以下哪项最为类似？（）

A.所有职业短跑运动员都穿钉鞋，小李不是职业短跑运动员，所以小李不穿钉鞋
B.所有纳税人都有存款，这位姑娘有存款，所以这位姑娘是纳税人
C.所有法警都在法院工作，小王在法院工作，所以小王是法警
D.所有铅笔的外壳都是木头做的，这支笔是铝做的，所以这支笔不是铅笔