\v=23
\v~=\w But|strong="H3808"\w* \w they|strong="H3808"\w* \w hearkened|strong="H8085"\w* \w not|strong="H3808"\w*, \w neither|strong="H3808"\w* \w inclined|strong="H5186"\w* \w their|strong="H3947"\w* \w ear|strong="H8085"\w*, \w but|strong="H3808"\w* \w made|strong="H7185"\w* \w their|strong="H3947"\w* \w neck|strong="H6203"\w* \w stiff|strong="H7185"\w*, \w that|strong="H8085"\w* \w they|strong="H3808"\w* \w might|strong="H1369"\w* \w not|strong="H3808"\w* \w hear|strong="H8085"\w*, \w and|strong="H8085"\w* \w might|strong="H1369"\w* \w not|strong="H3808"\w* \w receive|strong="H3947"\w* \w instruction|strong="H4148"\w*. 
\¬v
\¬p