Question

For the following argument, construct a proof of the conclusion from the given premises. Use only the 8 Basic Inference Rules.

Z ∨ A, B ⊃ A, (C ∨ D) ⊃ ~ A, D /∴ Z ⋅ ~B [doable in 9 lines; standard]