Prove that the argument below is valid.

$$x in U$[$p$($x$)->($q$($x$)$ r$($x$))]$

$$x in U$[$p$($x$)$ s$($x$)]$

$$x in U$[$r$($x$)$ s$($x$)]$

Hint: Review the Rules of Universal Generalization and Universal Specification