\v=4
\v~=\w And|strong="H2022"\w* \w he|strong="H3808"\w* \w passed|strong="H5674"\w* \w through|strong="H5674"\w* \w the|strong="H5674"\w* hill-country \w of|strong="H2022"\w* \w Ephraim|strong="H0669"\w*, \w and|strong="H2022"\w* \w passed|strong="H5674"\w* \w through|strong="H5674"\w* \w the|strong="H5674"\w* \w land|strong="H0776"\w* \w of|strong="H2022"\w* \w Shalishah|strong="H8031"\w*, \w but|strong="H3808"\w* \w they|strong="H3808"\w* \w found|strong="H4672"\w* \w them|strong="H5674"\w* \w not|strong="H3808"\w*: \w then|strong="H5674"\w* \w they|strong="H3808"\w* \w passed|strong="H5674"\w* \w through|strong="H5674"\w* \w the|strong="H5674"\w* \w land|strong="H0776"\w* \w of|strong="H2022"\w* \w Shaalim|strong="H8171"\w*, \w and|strong="H2022"\w* \w there|strong="H4672"\w* \w they|strong="H3808"\w* \w were|strong="H2022"\w* \w not|strong="H3808"\w*: \w and|strong="H2022"\w* \w he|strong="H3808"\w* \w passed|strong="H5674"\w* \w through|strong="H5674"\w* \w the|strong="H5674"\w* \w land|strong="H0776"\w* \w of|strong="H2022"\w* \w the|strong="H5674"\w* \w Benjamites|strong="H1145"\w*, \w but|strong="H3808"\w* \w they|strong="H3808"\w* \w found|strong="H4672"\w* \w them|strong="H5674"\w* \w not|strong="H3808"\w*. 
\¬v
\¬p