\v=23
\v~=\w Sólo|strong="H0910"\w* \w el|strong="H1931"\w* \w rey|strong="H4428"\w* \w de|strong="H4480"\w* \w Hai|strong="H5857"\w* \w fue|strong="H1961"\w* capturado \w vivo|strong="H2416"\w*, \w y|strong="H1571"\w* \w fue|strong="H1961"\w* \w llevado|strong="H5375"\w* \w ante|strong="H6440"\w* \w Josué|strong="H3091"\w*. 
\¬v
\¬p