Logic Proof

Come up with an instance of argument that conforms to HS.

Derive the conclusion from the given premises in the argument below by utilizing the rules of inference (hint: use HS, MT, DS, or some other combination, as an alternative is available here).

C:   B

==================

P1:   A  V  B

P2:   C ⊃  D

P3:   A ⊃  C

P4:  ~D