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 high-tech products are exported to Russia, then domestic industries will benefit. If the Russians can effectively utilize high-tech products, then their standard of living will improve. Therefore, if high-tech products are exported to Russia and the Russians can effectively utilize them, then their standard of living will improve and domestic industries will benefit. (H, D, U, S )