I think there are couple of problems with A: First, it does not use the sufficient condition of the general principle; and second A introduces the word "upper," to the conclusion, which is a qualification that has not been established in the support. But that's just my humble analysis :)