\v=12
\v~=\w Shuppim|strong="H8206"\w* \w also|strong="H1121"\w*, \w and|strong="H1121"\w* \w Huppim|strong="H2650"\w*, \w the|strong="H1121"\w* \w sons|strong="H1121"\w* \w of|strong="H1121"\w* \w Ir|strong="H5893"\w*, \w Hushim|strong="H2366"\w*, \w the|strong="H1121"\w* \w sons|strong="H1121"\w* \w of|strong="H1121"\w* \w Aher|strong="H0313"\w*. 
\¬v
\¬p