Evaluate the soundness of the following two proposed rules of inference in propositional logic: $\text{Rule I: } \frac{P \lor Q, \quad P \implies R}{Q \lor R}$ $\text{Rule II: } \frac{P \implies Q, \quad \neg P}{\neg Q}$