\v=5
\v~=\w And|strong="H3967"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w days|strong="H3117"\w* \w that|strong="H3605"\w* \w Adam|strong="H0121"\w* \w lived|strong="H2425"\w* \w were|strong="H1961"\w* \w nine|strong="H8672"\w* \w hundred|strong="H3967"\w* \w and|strong="H3967"\w* \w thirty|strong="H7970"\w* \w years|strong="H8141"\w*: \w and|strong="H3967"\w* \w he|strong="H3117"\w* \w died|strong="H4191"\w*. 
\¬v
\¬p