\v=10
\v~=\w And|x-occurrence="1" x-occurrences="1"\w* \w just|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w finished|x-occurrence="1" x-occurrences="1"\w* \w burning|x-occurrence="1" x-occurrences="1"\w* \w these|x-occurrence="1" x-occurrences="1"\w* \w offerings|x-occurrence="1" x-occurrences="1"\w*, \w Samuel|x-occurrence="1" x-occurrences="1"\w* \w arrived|x-occurrence="1" x-occurrences="1"\w*. \w Saul|x-occurrence="1" x-occurrences="1"\w* \w went|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w greet|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p