Let the following be premises: * C - A * - A * ¬ C – - B * - Dv B Number the statements below in such a way that each follows from the premises together with previously derived statements, as you...

Extracted text: Let the following be premises: * C - A * - A * ¬ C – - B * - Dv B Number the statements below in such a way that each follows from the premises together with previously derived statements, as you would when doing natural deduction. Use only modus ponens as your rule of inference, potentially after converting ORs into implications and implications into their contrapositives (you do not need to record this step). For example, if you had premises p, p → q, q→ r, then you would first derive q (label it 1), then after that deriver (label it 2). - C - D - B > >