The laws of propositional logic

Problem 5. [10 points] Using the laws of propositional logic, rules of inference, and Hypothesis Introduction prove that ((IV —> (RV M)) A (B —> -IR) A (B —> -ill4)) —> (B —> -447) Note 1: You should use the valid argument approach (provide your proof in column format). Note 2: There are three hypotheses. Note 3: Using Conditional Identity is not allowed.