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.
Either animals are mere mechanisms or they feel pain. If either animals feel pain or they have souls, then they have a right not to be subjected to needless pain and humans have a duty not to inflict needless pain on them. It is not the case that animals are mere mechanisms. Therefore, animals have a right not to be subjected to needless pain. (M, P, S, R, D)