下列哪个推理是有效的？

下列哪个推理是有效的？
A、如果2＋2＝5，那么地球是方的。但2＋2≠5。所以，地球不是方的
B、所有鸟都是动物。没有树是鸟。所以，没有树是动物
C、张山喜欢李斯。李斯喜欢王武。所以，张山喜欢王武
D、如果林肯在一起车祸中身亡，那么林肯已死。林肯没有死。所以，林肯没有在一起车祸中身亡
正确答案：如果林肯在一起车祸中身亡，那么林肯已死。林肯没有死。所以，林肯没有在一起车祸中身亡