\v=10
\v~=\w So|strong="H3808"\w* \w he|strong="H3808"\w* \w went|strong="H3212"\w* \w another|strong="H3808"\w* \w way|strong="H1870"\w*, \w and|strong="H7725"\w* \w returned|strong="H7725"\w* \w not|strong="H3808"\w* \w by|strong="H1870"\w* \w the|strong="H7725"\w* \w way|strong="H1870"\w* \w that|strong="H3808"\w* \w he|strong="H3808"\w* \w came|strong="H3212"\w* \w to|strong="H7725"\w* \w Beth-el|strong="H1008"\w*. 
\¬v
\¬p