This proof only requires the non$-$hypothetical rules of derivation.

Provide a derivation for the following sequent in the text box below:

$($P & $($S v Q$)),(($P v R$)->$ T$)$ T

Formatting Instructions:

You can copy these symbols into your proof below, since they do not appear on the keyboard: $->,,$

Make sure you discharge assumptions when you use hypothetical rules! An assumption that is being discharged should either $(1)$ be colored red one the line it is discharged or $(2)$ since there is no strike$-$through font here, you can also place a single dash $($minus sign$)$ to the left and right of the assumption being discharged.

Beyond that, formatting is less important here than it was for fill$-$in$-$the$-$blank questions, so don't stress. There doesn't need to be neat spacing between columns and it's ok if they don't line up neatly.

Just make sure your proof includes all $4$ main columns and a "box" for your aims. $($It$\text{'}$s ok if you don't include an actual box. Just make sure that your aims are listed above the main four columns of the proof somewhere.$)$