Using a proof solver answer the following (plz don't use truth tables)

Plz explain what is happen at each step

use things like the following to explain each step:

Step Tactic

1 intros H

2 destruct H2

3 left/right

4 assumption

5 split H5

and so on

Question

Prove the Weak Pierce relation

((((p = q) = p) = p) = q) = q.