Solve the proofs below in a format that will be accepted on Carnap.io. An example of acceptable proof formatting can be seen below:

P1. (P[RS]),(S&P)R 1 Submit Q P2. ([RP]&[SR]),R(S&P) 1 Submit () P3. (PQ),(P[QR])(PR) 1 Submit P4. (PQ),(SR)([Q&R][P&S]) 1| Submit P1. (P[RS]),(S&P)R 1 Submit Q P2. ([RP]&[SR]),R(S&P) 1 Submit () P3. (PQ),(P[QR])(PR) 1 Submit P4. (PQ),(SR)([Q&R][P&S]) 1| Submit