Complete the following derivation using the following selection of derived rules only (none of the basic rules!): DNEDNE, DNIDNI, Comm&Comm&, CommComm, DeMDeM, DSLDSL, DSRDSR, MTMT, TransTrans, HSHS, DefEDefE, and DefI

First Way Second Way Rules Basic Derived 1. (A + B) 2. (-Q-P) Premise Premise Premise Premise 3. O Comm& Commy DeM DSL DSR DNI DNE Def-I Def=E HS MT Trans V 3- 3 4. (PV (S & T)) : 5. (T&S) Goal Clear Apply