\v=17
\v~=\w All|strong="H3605"\w* \w of|strong="H3117"\w* \w the|strong="H3605"\w* \w days|strong="H3117"\w* \w of|strong="H3117"\w* \w Mahalalel|strong="H4111"\w* \w were|strong="H1961"\w* \w eight|strong="H8083"\w* \w hundred|strong="H3967"\w* ninety-five \w years|strong="H8141"\w*, \w then|strong="H1961"\w* \w he|strong="H3117"\w* \w died|strong="H4191"\w*. 
\¬v
\¬p