Considerando que os símbolos ¬, ∧, ∨, →, ∀ e ∃ representam negação, conjunção, disjunção, implicação, quantificador universal e quantificador existencial, respectivamente, assinale a alternativa que pode ser inferida a partir da fórmula ∀ x (P (x) → Q (x)) ∧ ∀ x (R (x) ∨ ¬P (x)) ∧ ∃ x (R (x)) ∧ ∀ x (¬¬P (x) ∧ S (x)).