QUESTION $8$

Suppose you have to formally prove the validity of the following sequent using the basic natural deduction rules:

$p^{{?}^{?}}qr|--(p((pr)vv(qr)))vvs|$

First write out a proof on some rough paper and then choose the option below that is a correct proof.

Option $1$:

$\backslash$table$[[1,p^{{?}^{?}}qr,$premise$],[2,p,{?}^{{?}^{?}}$ e $1],[3,$q$,{?}^{{?}^{?}}e1,2$