\v=17
\v~=\w He|strong="H3117"\w* \w put|strong="H0622"\w* \w them|strong="H0413"\w* \w all|strong="H3117"\w* \w together|strong="H0622"\w* \w into|strong="H0413"\w* \w custody|strong="H4929"\w* \w for|strong="H0413"\w* \w three|strong="H7969"\w* \w days|strong="H3117"\w*. 
\¬v
\¬p