\v=34
\v~=\w the|strong="H3605"\w* \w whole|strong="H3605"\w* \w by|strong="H3605"\w* \w number|strong="H4557"\w* \w and|strong="H6256"\w* \w by|strong="H3605"\w* \w weight|strong="H4948"\w*: \w and|strong="H6256"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w weight|strong="H4948"\w* \w was|strong="H1931"\w* \w written|strong="H3789"\w* \w at|strong="H3605"\w* \w that|strong="H3605"\w* \w time|strong="H6256"\w*. 
\¬v
\¬p