Solve the following proof using the $18$ inference and equivalence rules.

$($You can type the proof into the answer window below or insert an image or document using Upload image or Upload document function above.$)$

$S(K)$

$K\frac{,}{S}$

Edit View Insert Format Tools Table

$12$ pt $vv$ Paragraph $vv|B,B,A_{v}v{Q}_{v}v{T}^{2}vv|vdots$

$p$

$0$ words