\v=17
\v~=\w And|strong="H1121"\w* \w the|strong="H3205"\w* \w women|strong="H7934"\w* \w her|strong="H7121"\w* \w neighbors|strong="H7934"\w* \w gave|strong="H3205"\w* \w it|strong="H1931"\w* \w a|strong="H3205"\w* \w name|strong="H8034"\w*, \w saying|strong="H0559"\w*, \w There|strong="H8034"\w* \w is|strong="H1931"\w* \w a|strong="H3205"\w* \w son|strong="H1121"\w* \w born|strong="H3205"\w* \w to|strong="H3205"\w* \w Naomi|strong="H5281"\w*; \w and|strong="H1121"\w* \w they|strong="H1931"\w* \w called|strong="H7121"\w* \w his|strong="H7121"\w* \w name|strong="H8034"\w* \w Obed|strong="H5744"\w*: \w he|strong="H1931"\w* \w is|strong="H1931"\w* \w the|strong="H3205"\w* \w father|strong="H3205"\w* \w of|strong="H1121"\w* \w Jesse|strong="H3448"\w*, \w the|strong="H3205"\w* \w father|strong="H3205"\w* \w of|strong="H1121"\w* \w David|strong="H1732"\w*. 
\¬v
\¬p