Translate the following arguments into symbolic form and use the first four rules of inference to derive the conclusion of each. The letters to be used for the simple statements are given in parentheses after each exercise. Use these letters in the order in which they are listed.
Either funding for nuclear fusion will be cut or if sufficiently high temperatures are achieved in the laboratory, nuclear fusion will become a reality. Either the supply of hydrogen fuel is limited, or if nuclear fusion becomes a reality, the world's energy problems will be solved. Funding for nuclear fusion will not be cut. Furthermore, the supply of hydrogen fuel is not limited. Therefore, if sufficiently high temperatures are achieved in the laboratory, the world's energy problems will be solved. (C, H, R, S, E)