If two black holes collide, then Einstein’s general theory is proven true and gravitational waves are propagated throughout the universe. Either two black holes collide, or space-time is distorted and Einstein’s general theory is proven true. Therefore, Einstein’s general theory is proven true. ( T, E, G, S )

Translate the following arguments into symbolic form and then use the eighteen rules of inference to derive the conclusion of each. Use the translation letters in the order in which they are listed.