What conclusion could be drawn from the following premises and by what rule (excluding Add., Simp., and Conj.)?² 1. (~Av~B)~(Cv~D), ~AV~B 1.. 2. (Av B) D (~B vC), ~(~BVC) (Av~B) /.. 3. ~(Av~ B), (~A~B) v (Av~B) 1. 4. (CVD). (~(Cv~D) v~C) (Cv~D) /.. 5. (E=~F) v (F= (~E~F)), ~(E = ~F) 1.. 6. ~AD (Bv~C), ~Av (~Bv~C). (~BV~C) (~Av(Cv~B)) /.. 7. (~AD (~Bv~A)) (ADB),~(A~B) /.. 8. (ADB) D (AD (CDA)), (CD (ADC)) (ADB) /.. 9. ~ (Cv (AVC))~(AD (CDA)), ~(CV(AVC)) /.. 10. (CV(AVC)) v (~Av~C), ~(~Av~C) 1. N