Translate the following arguments into symbolic form, using the letters in the order in which they are listed. Then use indirect proof and the eighteen rules of inference to derive the conclusion of each. Having done so, attempt to derive the conclusion without using indirect proof.
If government deficits continue at their present rate and a recession sets in, then interest on the national debt will become unbearable and the government will default on its loans. If a recession sets in, then the government will not default on its loans. Therefore, either government deficits will not continue at their present rate or a recession will not set in. (C, R, I, D)