\v=23
\v~=\w Then|strong="H3318"\w* \w Ehud|strong="H0164"\w* \w went|strong="H3318"\w* \w out|strong="H3318"\w* onto \w the|strong="H3318"\w* porch, \w and|strong="H3318"\w* \w shut|strong="H5462"\w* \w the|strong="H3318"\w* \w doors|strong="H1817"\w* \w of|strong="H1817"\w* \w the|strong="H3318"\w* \w upper|strong="H5944"\w* \w room|strong="H5944"\w* \w on|strong="H3318"\w* \w him|strong="H3318"\w*, \w and|strong="H3318"\w* \w locked|strong="H5462"\w* \w them|strong="H3318"\w*. 
\¬v
\¬p