\v=26
\v~=\w And|strong="H7971"\w* \w when|strong="H3318"\w* \w Joab|strong="H3097"\w* \w was|strong="H1732"\w* \w come|strong="H3318"\w* \w out|strong="H3318"\w* \w from|strong="H7725"\w* \w David|strong="H1732"\w*, \w he|strong="H1732"\w* \w sent|strong="H7971"\w* \w messengers|strong="H4397"\w* \w after|strong="H3318"\w* \w Abner|strong="H0074"\w*, \w and|strong="H7971"\w* \w they|strong="H3808"\w* \w brought|strong="H3318"\w* \w him|strong="H7971"\w* \w back|strong="H7725"\w* \w from|strong="H7725"\w* \w the|strong="H7725"\w* \w well|strong="H3045"\w* \w of|strong="H4397"\w* \w Sirah|strong="H5626"\w*: \w but|strong="H3808"\w* \w David|strong="H1732"\w* \w knew|strong="H3045"\w* \w it|strong="H7725"\w* \w not|strong="H3808"\w*. 
\¬v
\¬p