\v=17
\v~=\w When|strong="H3588"\w* \w they|strong="H3588"\w* \w stood|strong="H5975"\w*, \w these|strong="H0428"\w* \w stood|strong="H5975"\w*; \w and|strong="H5975"\w* \w when|strong="H3588"\w* \w they|strong="H3588"\w* \w mounted|strong="H7392"\w* \w up|strong="H7311"\w*, \w these|strong="H0428"\w* \w mounted|strong="H7392"\w* \w up|strong="H7311"\w* \w with|strong="H5975"\w* \w them|strong="H5975"\w*: \w for|strong="H3588"\w* \w the|strong="H3588"\w* \w spirit|strong="H7307"\w* \w of|strong="H7307"\w* \w the|strong="H3588"\w* \w living|strong="H2416"\w* \w creature|strong="H2416"\w* \w was|strong="H7307"\w* \w in|strong="H5975"\w* \w them|strong="H5975"\w*. 
\¬v
\¬p