Construct formal proof of validity for the following argument using ONLY Rules of inference and Replacement. In the proof, number every statement, and write the rules clearly.
~( B v ~U) > ~A
U > ( B > R)
(A.U) > ~ R / ~( A.U)