\v=23
\v~=\w And|strong="H4428"\w* \w the|strong="H3091"\w* \w king|strong="H4428"\w* \w of|strong="H4428"\w* \w Ai|strong="H5857"\w* \w they|strong="H5857"\w* \w took|strong="H8610"\w* \w alive|strong="H2416"\w*, \w and|strong="H4428"\w* \w brought|strong="H7126"\w* \w him|strong="H3091"\w* \w to|strong="H4428"\w* \w Joshua|strong="H3091"\w*. 
\¬v
\¬p