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