1. E ⊃ (B • J)
2. (J • B) ⊃ ∼L
3. L

a. (E ⊃ B) • (E ⊃ J) 1, Dist
b. E ⊃ ∼L 1, 2, HS
c. ∼(J • B) 2, 3, MT
d. J 2, Simp
e. (B • J) ⊃ ∼L 2, Com