\v=17
\v~=\w And|strong="H5892"\w* \w he|strong="H5422"\w* \w brake|strong="H7665"\w* \w down|strong="H5422"\w* \w the|strong="H2026"\w* \w tower|strong="H4026"\w* \w of|strong="H5892"\w* \w Penuel|strong="H6439"\w*, \w and|strong="H5892"\w* \w slew|strong="H2026"\w* \w the|strong="H2026"\w* \w men|strong="H0376"\w* \w of|strong="H5892"\w* \w the|strong="H2026"\w* \w city|strong="H5892"\w*. 
\¬v
\¬p