\v=23
\v~=\w But|strong="H3808"\w* \w now|strong="H6258"\w* \w he|strong="H1931"\w* \w is|strong="H2088"\w* \w dead|strong="H4191"\w*, \w wherefore|strong="H4100"\w* \w should|strong="H4100"\w* \w I|strong="H6258"\w* \w fast|strong="H6684"\w*? \w can|strong="H3201"\w* \w I|strong="H6258"\w* \w bring|strong="H7725"\w* \w him|strong="H7725"\w* \w back|strong="H7725"\w* \w again|strong="H7725"\w*? \w I|strong="H6258"\w* \w shall|strong="H3808"\w* \w go|strong="H1980"\w* \w to|strong="H1980"\w* \w him|strong="H7725"\w*, \w but|strong="H3808"\w* \w he|strong="H1931"\w* \w will|strong="H3808"\w* \w not|strong="H3808"\w* \w return|strong="H7725"\w* \w to|strong="H1980"\w* \w me|strong="H7725"\w*. 
\¬v
\¬p