QUESTION $9$

We have to prove the validity of the following sequent using the rules of natural deduction:

$pq,r$nott,$qr|--p$nott$|$

First write out a proof yourself on some rough paper. Then look at the proof below where two lines are omitted. Which of the options below gives the correct propositional logic formula and the associated correct rule in both lines?

Option $1$:

$\backslash$table$[[4,p,$assumption$],[7,$nott,$$ e $2,6]]$

Option $2$:

$\backslash$table$[[4,r,$assumption$],[7,$nott,$$ e $2-6$