Translate the following arguments into symbolic form and then use the first thirteen rules of inference to derive the conclusion of each. Use the translation letters in the order in which they are listed
It is not the case that either the sun's interior rotates faster than its surface or Einstein's general theory of relativity is wrong. If the sun's interior does not rotate faster than its surface and eccentricities in the orbit of Mercury can be explained by solar gravitation, then Einstein's general theory of relativity is wrong. Therefore, eccentricities in the orbit of Mercury cannot be explained by solar gravitation. (S, E, M)