\v=14
\v~=\w The|strong="H3605"\w* \w king|strong="H4428"\w* \w and|strong="H0935"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w people|strong="H5971"\w* \w who|strong="H0834"\w* \w were|strong="H0834"\w* \w with|strong="H0854"\w* \w him|strong="H0854"\w* \w arrived|strong="H0935"\w* \w weary|strong="H5889"\w*; \w and|strong="H0935"\w* \w he|strong="H0834"\w* \w refreshed|strong="H5314"\w* \w himself|strong="H5314"\w* \w there|strong="H8033"\w*. 
\¬v
\¬p