\v=7
\v~=\w The|strong="H0834"\w* \w number|strong="H4557"\w* \w of|strong="H3117"\w* \w the|strong="H0834"\w* \w days|strong="H3117"\w* \w that|strong="H0834"\w* \w David|strong="H1732"\w* \w lived|strong="H3427"\w* \w in|strong="H3427"\w* \w the|strong="H0834"\w* \w country|strong="H7704"\w* \w of|strong="H3117"\w* \w the|strong="H0834"\w* \w Philistines|strong="H6430"\w* \w was|strong="H1961"\w* \w a|strong="H1961"\w* \w full|strong="H3117"\w* \w year|strong="H3117"\w* \w and|strong="H3117"\w* \w four|strong="H0702"\w* \w months|strong="H2320"\w*. 
\¬v
\¬p