\v=4
\v~=\w It|strong="H1931"\w* \w shall|strong="H0834"\w* \w be|strong="H1961"\w*, \w when|strong="H1961"\w* \w he|strong="H0834"\w* \w lies|strong="H7901"\w* \w down|strong="H7901"\w*, \w that|strong="H0834"\w* \w you|strong="H0834"\w* \w shall|strong="H0834"\w* \w note|strong="H3045"\w* \w the|strong="H0853"\w* \w place|strong="H4725"\w* \w where|strong="H0834"\w* \w he|strong="H0834"\w* \w is|strong="H0834"\w* \w lying|strong="H7901"\w*. \w Then|strong="H1961"\w* \w you|strong="H0834"\w* \w shall|strong="H0834"\w* \w go|strong="H0935"\w* \w in|strong="H0935"\w*, \w uncover|strong="H1540"\w* \w his|strong="H1961"\w* \w feet|strong="H4772"\w*, \w and|strong="H0935"\w* \w lie|strong="H7901"\w* \w down|strong="H7901"\w*. \w Then|strong="H1961"\w* \w he|strong="H0834"\w* \w will|strong="H1961"\w* \w tell|strong="H5046"\w* \w you|strong="H0834"\w* \w what|strong="H0834"\w* \w to|strong="H0935"\w* \w do|strong="H6213"\w*.” 
\¬v
\¬p