Let $p, q, r$ be three logical statements. Consider the compound statements
$S_1: ((\neg p) \lor q) \lor ((\neg p) \lor r)$
$S_2: p \rightarrow (q \lor r)$
Then, which of the following is NOT true?