Part II: Use 8 inference rules and 10 replacement rules (D.N., CE, B.E., DeM.. Dup, Assoc., Commu., Dist.. Contrar.. Export.) to prove the following arguments. You are NOT allowed to use C.Por LP c 1. WY 2. W 3. X(Y.Z) X d. 1. AB 2. C 3. (A.C) D 4.-F.B) 7. DE e. 1. AB 2.-(AR) (A.S) 1: (BS) -A.R) f. 1. (D. (EvB)) 2.-(EY) 3.C(EVA) 1:4-AB)v-(CD)