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)).