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 the assassination of terrorist leaders violates civilized values and also is not effective in the long run, then if it prevents terrorist atrocities, then it is effective in the long run. If the assassination of terrorist leaders violates civilized values, then it is not effective in the long run. The assassination of terrorist leaders violates civilized values and is also illegal. If the assassination of terrorist leaders is not effective in the long run, then either it prevents terrorist atrocities or it justifies acts of revenge by terrorists. Therefore, the assassination of terrorist leaders justifies acts of revenge by terrorists and also is not effective in the long run. (V, E, P, I, J)