\v=10
\v~=\w but|strong="H3808"\w* \w he|strong="H8010"\w* \w didn’t|strong="H3808"\w* \w call|strong="H7121"\w* \w Nathan|strong="H5416"\w* \w the|strong="H0853"\w* \w prophet|strong="H5030"\w*, \w and|strong="H0251"\w* \w Benaiah|strong="H1141"\w*, \w and|strong="H0251"\w* \w the|strong="H0853"\w* \w mighty|strong="H1368"\w* \w men|strong="H1368"\w*, \w and|strong="H0251"\w* \w Solomon|strong="H8010"\w* \w his|strong="H7121"\w* \w brother|strong="H0251"\w*. 
\¬v
\¬p