First, translate the following argument into symbolic form. Second, use the implication rules and the replacement rules to derive the conclusion. Letters for the simple statement are provided in parentheses and can be used in the order given.

Either the administration does not cut the budget for social services or the administration reduces the defense budget. If the administration does cut the budget for social services, then it lowers the tax rate. Thus, if the administration does cut the budget for social services, then it lowers the tax rate and it reduces the defense budget. (S, D, T).