\v=13
\v~=\w I|strong="H3588"\w* \w saw|strong="H7200"\w* \w that|strong="H3588"\w* \w she|strong="H3588"\w* \w was|strong="H0259"\w* \w defiled|strong="H2930"\w*. \w They|strong="H3588"\w* \w both|strong="H8147"\w* went \w the|strong="H3588"\w* \w same|strong="H0259"\w* \w way|strong="H1870"\w*. 
\¬v
\¬p