\v=3
\v~=\w And|strong="H3478"\w* \w it|strong="H1961"\w* \w came|strong="H1961"\w* \w to|strong="H3478"\w* \w pass|strong="H1961"\w*, \w when|strong="H1961"\w* \w they|strong="H3605"\w* \w had|strong="H1961"\w* \w heard|strong="H8085"\w* \w the|strong="H3605"\w* \w law|strong="H8451"\w*, \w that|strong="H3605"\w* \w they|strong="H3605"\w* \w separated|strong="H6504"\w* \w from|strong="H3478"\w* \w Israel|strong="H3478"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w mixed|strong="H6154"\w* \w multitude|strong="H6154"\w*. 
\¬v
\¬p