User

Prove the following proposition using inference rules $($you may not use the Substitution rule$).$

Please label each step with the name of the rule you used to deduce it$.$

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