\v=2
\v~=\w He|x-occurrence="1" x-occurrences="1"\w* \w ruled|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="1"\w* \w judge|x-occurrence="1" x-occurrences="1"\w* \w over|x-occurrence="1" x-occurrences="1"\w* \w Israel|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w twenty|x-occurrence="1" x-occurrences="1"\w*-\w three|x-occurrence="1" x-occurrences="1"\w* \w years|x-occurrence="1" x-occurrences="1"\w*. \w Then|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w died|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w buried|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w Shamir|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p