Note that the above rules can be proved by the laws of propositional logic

q $->($p $$ r$)$

s $->$ r

r $->$ q

$$ s $->$ p