\v=10
\v~=\w So|strong="H3808"\w* \w he|strong="H0834"\w* \w went|strong="H0935"\w* \w another|strong="H0312"\w* \w way|strong="H1870"\w*, \w and|strong="H0935"\w* \w didn’t|strong="H3808"\w* \w return|strong="H7725"\w* \w by|strong="H0413"\w* \w the|strong="H0834"\w* \w way|strong="H1870"\w* \w that|strong="H0834"\w* \w he|strong="H0834"\w* \w came|strong="H0935"\w* \w to|strong="H0413"\w* \w Bethel|strong="H1008"\w*. 
\¬v
\¬p