\v=21
\v~=\w And|strong="H1732"\w* \w they|strong="H8033"\w* \w left|strong="H5800"\w* \w their|strong="H5375"\w* \w images|strong="H6091"\w* \w there|strong="H8033"\w*; \w and|strong="H1732"\w* \w David|strong="H1732"\w* \w and|strong="H1732"\w* \w his|strong="H5375"\w* \w men|strong="H0376"\w* \w took|strong="H5375"\w* \w them|strong="H5375"\w* \w away|strong="H5375"\w*. 
\¬v
\¬p