\v=25
\v~=\w He|strong="H0834"\w* \w was|strong="H1961"\w* \w an|strong="H1961"\w* \w adversary|strong="H7854"\w* \w to|strong="H1961"\w* \w Israel|strong="H3478"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w days|strong="H3117"\w* \w of|strong="H3117"\w* \w Solomon|strong="H8010"\w*, \w in|strong="H5921"\w* \w addition|strong="H5921"\w* \w to|strong="H1961"\w* \w the|strong="H3605"\w* mischief \w of|strong="H3117"\w* \w Hadad|strong="H1908"\w*. \w He|strong="H0834"\w* \w abhorred|strong="H6973"\w* \w Israel|strong="H3478"\w*, \w and|strong="H3478"\w* \w reigned|strong="H4427"\w* \w over|strong="H5921"\w* \w Syria|strong="H0758"\w*. 
\¬v
\¬p