\v=13
\v~=\w As|strong="H0834"\w* \w he|strong="H0834"\w* \w interpreted|strong="H6622"\w* \w to|strong="H7725"\w* \w us|strong="H5921"\w*, \w so|strong="H3651"\w* \w it|strong="H5921"\w* \w was|strong="H1961"\w*. \w He|strong="H0834"\w* \w restored|strong="H7725"\w* \w me|strong="H7725"\w* \w to|strong="H7725"\w* \w my|strong="H5921"\w* office, \w and|strong="H7725"\w* \w he|strong="H0834"\w* \w hanged|strong="H8518"\w* \w him|strong="H5921"\w*.” 
\¬v
\¬p