Translate the following arguments into symbolic form and use the first eight rules of inference to derive the conclusion of each. Use the letters in the order in which they are listed.
If topaz is harder than quartz, then it will scratch quartz and also feldspar. Topaz is harder than quartz and it is also harder than calcite. Therefore, either topaz will scratch quartz or it will scratch corundum. (T, Q, F, C, O)