\v=16
\v~=\w But|strong="H3588"\w* \w all|strong="H3605"\w* \w Israel|strong="H3478"\w* \w and|strong="H3063"\w* \w Judah|strong="H3063"\w* \w loved|strong="H0157"\w* \w David|strong="H1732"\w*; \w for|strong="H3588"\w* \w he|strong="H1931"\w* \w went|strong="H3318"\w* \w out|strong="H3318"\w* \w and|strong="H3063"\w* \w came|strong="H3318"\w* \w in|strong="H3478"\w* \w before|strong="H6440"\w* \w them|strong="H6440"\w*. 
\¬v
\¬p