What is the inference rule for the following logic?

$($

$($

$($

$$

p

$)$

$$

$($

p

$$

q

$)$

$)$

$->$

q

$)$

$$

T