\v=12
\v~=\w And|strong="H1732"\w* \w they|strong="H8033"\w* \w left|strong="H5800"\w* \w their|strong="H8313"\w* \w gods|strong="H0430"\w* \w there|strong="H8033"\w*; \w and|strong="H1732"\w* \w David|strong="H1732"\w* \w gave|strong="H5414"\w* \w commandment|strong="H4687"\w*, \w and|strong="H1732"\w* \w they|strong="H8033"\w* \w were|strong="H1732"\w* \w burned|strong="H8313"\w* \w with|strong="H8313"\w* \w fire|strong="H0784"\w*. 
\¬v
\¬p