\v=20
\v~=\w He|strong="H0834"\w* killed \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w priests|strong="H3548"\w* \w of|strong="H4196"\w* \w the|strong="H3605"\w* \w high|strong="H1116"\w* \w places|strong="H1116"\w* \w that|strong="H0834"\w* \w were|strong="H0834"\w* \w there|strong="H8033"\w*, \w on|strong="H5921"\w* \w the|strong="H3605"\w* \w altars|strong="H4196"\w*, \w and|strong="H7725"\w* \w burnt|strong="H8313"\w* \w men’s|strong="H0120"\w* \w bones|strong="H6106"\w* \w on|strong="H5921"\w* \w them|strong="H0853"\w*; \w and|strong="H7725"\w* \w he|strong="H0834"\w* \w returned|strong="H7725"\w* \w to|strong="H7725"\w* \w Jerusalem|strong="H3389"\w*. 
\¬v
\¬p