\v=13
\v~=\w And|x-occurrence="1" x-occurrences="2"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w happened|x-occurrence="1" x-occurrences="1"\w* \w when|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w sons|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Israel|x-occurrence="1" x-occurrences="1"\w* \w were|x-occurrence="1" x-occurrences="1"\w* \w strong|x-occurrence="1" x-occurrences="1"\w*, \w that|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="2"\w* \w put|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w Canaanite|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w forced|x-occurrence="1" x-occurrences="1"\w* \w labor|x-occurrence="1" x-occurrences="1"\w*. \w And|x-occurrence="2" x-occurrences="2"\w* \w they|x-occurrence="2" x-occurrences="2"\w* \w did|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w completely|x-occurrence="1" x-occurrences="1"\w* \w dispossess|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p