Complete this formal proof in BOOL following all conventions from the textbook. You have to figure out the way we are looking for: pay attention to the subproof lines!

$1.$ ~~Pv~~$($P&R$)$v$($~~R&~R$)$ Premise

$2.|$

$3.|$

$4.|$ ~~$($P&R$)$ Assume

$5.|$

$6.|$

$7.|$

$8.|$

$9.|$

$10.|$

$11.|$

$12.$ P