\v=8
\v~=\w And|strong="H1419"\w* \w he|strong="H5921"\w* \w smote|strong="H5221"\w* \w them|strong="H5921"\w* \w hip|strong="H3409"\w* \w and|strong="H1419"\w* \w thigh|strong="H3409"\w* \w with|strong="H5921"\w* \w a|strong="H5221"\w* \w great|strong="H1419"\w* \w slaughter|strong="H4347"\w*: \w and|strong="H1419"\w* \w he|strong="H5921"\w* \w went|strong="H3381"\w* \w down|strong="H3381"\w* \w and|strong="H1419"\w* \w dwelt|strong="H3427"\w* \w in|strong="H3427"\w* \w the|strong="H5921"\w* \w cleft|strong="H5585"\w* \w of|strong="H3427"\w* \w the|strong="H5921"\w* \w rock|strong="H5553"\w* \w of|strong="H3427"\w* \w Etam|strong="H5862"\w*. 
\¬v
\¬p