\v=10
\v~=\w Whoever|x-occurrence="1" x-occurrences="1"\w* \w enters|x-occurrence="1" x-occurrences="1"\w* \w God|x-occurrence="1" x-occurrences="2"\w*’\w s|x-occurrence="1" x-occurrences="1"\w* \w place|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w resting|x-occurrence="1" x-occurrences="1"\w* \w has|x-occurrence="1" x-occurrences="1"\w* \w also|x-occurrence="1" x-occurrences="1"\w* \w ceased|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="2"\w* \w work|x-occurrence="1" x-occurrences="2"\w*, \w just|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="1"\w* \w God|x-occurrence="2" x-occurrences="2"\w* \w finished|x-occurrence="1" x-occurrences="1"\w* \w doing|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="2" x-occurrences="2"\w* \w own|x-occurrence="1" x-occurrences="1"\w* \w work|x-occurrence="2" x-occurrences="2"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w creating|x-occurrence="1" x-occurrences="1"\w* \w everything|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p