If there are any policemen, then if there are any robbers, then they will arrest them. If any robbers are arrested by policemen, they will go to jail. There are some policemen and Macky is a robber. Therefore, Macky will go to jail. (Px: x is a policeman; Rx: x is a robber; Axy: x arrests y; Jx: x will go to jail)

Translate the following arguments into symbolic form. Then derive the conclusion of each, using conditional proof or indirect proof when needed.