\v=17
\v~=\w When|strong="H3588"\w* \w they|strong="H3588"\w* \w stood|strong="H5975"\w*, these \w stood|strong="H5975"\w*. \w When|strong="H3588"\w* \w they|strong="H3588"\w* mounted \w up|strong="H7311"\w*, these mounted \w up|strong="H7311"\w* \w with|strong="H0854"\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