\v=13
\v~=\w And|strong="H7725"\w* \w it|strong="H5921"\w* \w came|strong="H1961"\w* \w to|strong="H7725"\w* \w pass|strong="H1961"\w*, \w as|strong="H1961"\w* \w he|strong="H3651"\w* \w interpreted|strong="H6622"\w* \w to|strong="H7725"\w* \w us|strong="H7725"\w*, \w so|strong="H3651"\w* \w it|strong="H5921"\w* \w was|strong="H1961"\w*; \w me|strong="H7725"\w* \w he|strong="H3651"\w* \w restored|strong="H7725"\w* \w unto|strong="H7725"\w* \w mine|strong="H7725"\w* \w office|strong="H3653"\w*, \w and|strong="H7725"\w* \w him|strong="H5921"\w* \w he|strong="H3651"\w* \w hanged|strong="H8518"\w*. 
\¬v
\¬p