\v=7
\v~=\w And|strong="H1732"\w* \w Jonathan|strong="H3083"\w* \w called|strong="H7121"\w* \w David|strong="H1732"\w*, \w and|strong="H1732"\w* \w Jonathan|strong="H3083"\w* \w showed|strong="H7200"\w* \w him|strong="H6440"\w* \w all|strong="H3605"\w* \w those|strong="H3605"\w* \w things|strong="H1697"\w*. \w And|strong="H1732"\w* \w Jonathan|strong="H3083"\w* \w brought|strong="H1961"\w* \w David|strong="H1732"\w* \w to|strong="H1961"\w* \w Saul|strong="H7586"\w*, \w and|strong="H1732"\w* \w he|strong="H3605"\w* \w was|strong="H1961"\w* \w in|strong="H6440"\w* \w his|strong="H3605"\w* \w presence|strong="H6440"\w*, \w as|strong="H1697"\w* \w beforetime|strong="H6440"\w*. 
\¬v
\¬p