\v=6
\v~=\w Adoni|x-occurrence="1" x-occurrences="1"\w*-\w Bezek|x-occurrence="1" x-occurrences="1"\w* \w tried|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w run|x-occurrence="1" x-occurrences="1"\w* \w away|x-occurrence="1" x-occurrences="1"\w*. \w The|x-occurrence="1" x-occurrences="1"\w* \w Israelites|x-occurrence="1" x-occurrences="1"\w* \w pursued|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="2"\w* \w and|x-occurrence="1" x-occurrences="2"\w* \w caught|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="2" x-occurrences="2"\w*. \w Then|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w cut|x-occurrence="1" x-occurrences="1"\w* \w off|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="2"\w* \w thumbs|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="2" x-occurrences="2"\w* \w his|x-occurrence="2" x-occurrences="2"\w* \w big|x-occurrence="1" x-occurrences="1"\w* \w toes|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p