Translate the following arguments into symbolic form, using the letters in the order in which they are listed. Then use conditional proof and the eighteen rules of inference to derive the conclusion of each. Having done so, attempt to derive the conclusion without using conditional proof.
If jails are overcrowded, then dangerous suspects will be released on their own recognizance. If jails are overcrowded and dangerous suspects are released on their own recognizance, then crime will increase. If no new jails are built and crime increases, then innocent victims will pay the price of increased crime. Therefore, if jails are overcrowded, then if no new jails are built, then innocent victims will pay the price of increased crime. (J, D, C, N, I)