\v=5
\v~=\w When|strong="H3588"\w* \w a|strong="H1961"\w* \w man|strong="H0376"\w* \w takes|strong="H3947"\w* \w a|strong="H1961"\w* \w new|strong="H2319"\w* \w wife|strong="H0802"\w*, \w he|strong="H0834"\w* \w shall|strong="H1004"\w* \w not|strong="H3808"\w* \w go|strong="H3318"\w* \w out|strong="H3318"\w* \w in|strong="H5921"\w* \w the|strong="H3605"\w* \w army|strong="H6635"\w*, \w neither|strong="H3808"\w* \w shall|strong="H1004"\w* \w he|strong="H0834"\w* \w be|strong="H1961"\w* \w assigned|strong="H1961"\w* \w any|strong="H3605"\w* \w business|strong="H1697"\w*. \w He|strong="H0834"\w* \w shall|strong="H1004"\w* \w be|strong="H1961"\w* \w free|strong="H5355"\w* \w at|strong="H5921"\w* \w home|strong="H1004"\w* \w one|strong="H0259"\w* \w year|strong="H8141"\w*, \w and|strong="H1004"\w* \w shall|strong="H1004"\w* cheer \w his|strong="H3605"\w* \w wife|strong="H0802"\w* \w whom|strong="H0834"\w* \w he|strong="H0834"\w* \w has|strong="H0834"\w* \w taken|strong="H3947"\w*. 
\¬v
\¬p