\v=10
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w did|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w invite|x-occurrence="1" x-occurrences="1"\w* \w Nathan|x-occurrence="1" x-occurrences="1"\w*, \w Benaiah|x-occurrence="1" x-occurrences="1"\w*, \w or|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w king|x-occurrence="1" x-occurrences="1"\w*’\w s|x-occurrence="1" x-occurrences="1"\w* \w most|x-occurrence="1" x-occurrences="1"\w* \w capable|x-occurrence="1" x-occurrences="1"\w* \w soldiers|x-occurrence="1" x-occurrences="1"\w*, \w or|x-occurrence="2" x-occurrences="2"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w younger|x-occurrence="1" x-occurrences="1"\w* \w brother|x-occurrence="1" x-occurrences="1"\w* \w Solomon|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p