explosion sans disjunctive syllogism and (v in).

                             ┝  (A • ~A) ⊃ B

1.    A • ~A            (assumption)

2.     A                    (• out)

3.    ~A ⊃ B           (⊃ in)

4.    ~A                   (• out)

5.    B                      (MP)

6.     (A • ~A) ⊃ B      (CP)