\v=21
\v~=\w And|strong="H3478"\w* \w the|strong="H5221"\w* \w king|strong="H4428"\w* \w of|strong="H4428"\w* \w Israel|strong="H3478"\w* \w went|strong="H3318"\w* \w out|strong="H3318"\w*, \w and|strong="H3478"\w* \w smote|strong="H5221"\w* \w the|strong="H5221"\w* \w horses|strong="H5483"\w* \w and|strong="H3478"\w* \w chariots|strong="H7393"\w*, \w and|strong="H3478"\w* \w slew|strong="H5221"\w* \w the|strong="H5221"\w* \w Syrians|strong="H0758"\w* \w with|strong="H3318"\w* \w a|strong="H3318"\w* \w great|strong="H1419"\w* \w slaughter|strong="H4347"\w*. 
\¬v
\¬p