\v=17
\v~=\w And|strong="H3117"\w* \w he|strong="H3117"\w* \w put|strong="H5414"\w* \w them|strong="H3117"\w* \w all|strong="H3117"\w* \w together|strong="H3162"\w* \w into|strong="H0413"\w* \w ward|strong="H4929"\w* \w three|strong="H7969"\w* \w days|strong="H3117"\w*. 
\¬v
\¬p