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 astronauts attempt interplanetary space travel, then heavy shielding will be required to protect them from solar radiation. If massive amounts of either fuel or water are carried, then the spacecraft must be very large. Therefore, if heavy shielding is required to protect the astronauts from solar radiation only if massive amounts of fuel are carried, then if astronauts attempt interplanetary space travel, then the spacecraft must be very large. (A, H, F, W, L)