Use natural deduction to prove the following

The solution needs to be in a format similar to this

Two useful derived natural deduction rules are double negation introduction, p I- Nmp, and double negation elimination p p. Logika, like most other proof checkers, does not include derived rules like these as they are simple enough to derive directly. For the following proof you will need to find a way to do double negation elimination and double negation introduction using the basic rules for natural deduction. Prove the following sequent: p, (q r) I- Ann r