\v=11
\v~=\w He|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="1"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w this|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="1" x-occurrences="1"\w* \w help|x-occurrence="1" x-occurrences="1"\w* \w us|x-occurrence="1" x-occurrences="4"\w* \w by|x-occurrence="1" x-occurrences="1"\w* \w praying|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="2"\w* \w us|x-occurrence="2" x-occurrences="4"\w*. \w Now|x-occurrence="1" x-occurrences="1"\w* \w many|x-occurrence="1" x-occurrences="2"\w* \w thank|x-occurrence="1" x-occurrences="1"\w* \w God|x-occurrence="1" x-occurrences="1"\w* \w because|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w has|x-occurrence="1" x-occurrences="1"\w* \w been|x-occurrence="1" x-occurrences="1"\w* \w so|x-occurrence="1" x-occurrences="1"\w* \w kind|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w us|x-occurrence="3" x-occurrences="4"\w*, \w since|x-occurrence="1" x-occurrences="1"\w* \w many|x-occurrence="2" x-occurrences="2"\w* \w have|x-occurrence="1" x-occurrences="1"\w* \w prayed|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="2" x-occurrences="2"\w* \w us|x-occurrence="4" x-occurrences="4"\w*.
\¬v
\¬p