Do the following proofs using only inference rules and replacement rules.

1. [ solution ]

2. [ solution ]

3. [ solution ]

4. [ solution ]

5. [ solution ]