\v=5
\v~=\w to|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w* {\w be|x-occurrence="1" x-occurrences="1"\w*} \w the|x-occurrence="1" x-occurrences="1"\w* \w glory|x-occurrence="1" x-occurrences="1"\w* \w forever|x-occurrence="1" x-occurrences="1"\w* {\w and|x-occurrence="1" x-occurrences="1"\w*} \w ever|x-occurrence="1" x-occurrences="1"\w*. \w Amen|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p