\v=15
\v~=\w Since|x-occurrence="1" x-occurrences="1"\w* \w we|x-occurrence="1" x-occurrences="4"\w* \w know|x-occurrence="1" x-occurrences="2"\w* \w that|x-occurrence="1" x-occurrences="2"\w* \w God|x-occurrence="1" x-occurrences="2"\w* \w wants|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w give|x-occurrence="1" x-occurrences="1"\w* \w us|x-occurrence="1" x-occurrences="2"\w* \w whatever|x-occurrence="1" x-occurrences="1"\w* \w we|x-occurrence="2" x-occurrences="4"\w* \w ask|x-occurrence="1" x-occurrences="2"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w him|x-occurrence="1" x-occurrences="2"\w*, {\w if|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="2"\w* \w what|x-occurrence="1" x-occurrences="2"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w desires|x-occurrence="1" x-occurrences="1"\w*,} \w then|x-occurrence="1" x-occurrences="1"\w* \w we|x-occurrence="3" x-occurrences="4"\w* \w also|x-occurrence="1" x-occurrences="1"\w* \w know|x-occurrence="2" x-occurrences="2"\w* \w that|x-occurrence="2" x-occurrences="2"\w* \w God|x-occurrence="2" x-occurrences="2"\w* \w is|x-occurrence="2" x-occurrences="2"\w* \w already|x-occurrence="1" x-occurrences="1"\w* \w giving|x-occurrence="1" x-occurrences="1"\w* \w us|x-occurrence="2" x-occurrences="2"\w* \w what|x-occurrence="2" x-occurrences="2"\w* \w we|x-occurrence="4" x-occurrences="4"\w* \w ask|x-occurrence="2" x-occurrences="2"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w him|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p