\v=3
\v~=\w He|x-occurrence="1" x-occurrences="1"\w* \w stayed|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w Jehosheba|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w six|x-occurrence="1" x-occurrences="1"\w* \w years|x-occurrence="1" x-occurrences="1"\w*. \w All|x-occurrence="1" x-occurrences="1"\w* \w during|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w time|x-occurrence="1" x-occurrences="1"\w*, \w he|x-occurrence="1" x-occurrences="1"\w* \w remained|x-occurrence="1" x-occurrences="1"\w* \w hidden|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w temple|x-occurrence="1" x-occurrences="1"\w*, \w while|x-occurrence="1" x-occurrences="1"\w* \w Athaliah|x-occurrence="1" x-occurrences="1"\w* \w ruled|x-occurrence="1" x-occurrences="1"\w* \w Judah|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p