##### Which of the following statements is TRUE about

Which of the following statements is TRUE about the propositional logic formula

$S: (p \to q) \wedge (\neg q \vee r) \wedge (r \to s) \to \neg (p \to s)$