explosion sans disjunctive syllogism.

┝  (A • ~A) ⊃ B    

  1.  A • ~A      assumption

  2.  A              (• out)

  3.  A v B        (v in)

  4.  ~A ⊃ B    (⊃ in)

  5.  ~A           (• out)

  6.   B             (MP)

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