\v=5
\v~=\w It|strong="H1961"\w* \w shall|strong="H0376"\w* \w be|strong="H1961"\w* \w that|strong="H3605"\w* \w when|strong="H1961"\w* \w they|strong="H0376"\w* \w make|strong="H8085"\w* \w a|strong="H1961"\w* \w long|strong="H4900"\w* \w blast|strong="H4900"\w* \w with|strong="H0376"\w* \w the|strong="H3605"\w* \w ram’s|strong="H3104"\w* \w horn|strong="H7161"\w*, \w and|strong="H1419"\w* \w when|strong="H1961"\w* \w you|strong="H3605"\w* \w hear|strong="H8085"\w* \w the|strong="H3605"\w* \w sound|strong="H6963"\w* \w of|strong="H0376"\w* \w the|strong="H3605"\w* \w trumpet|strong="H7782"\w*, \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w people|strong="H5971"\w* \w shall|strong="H0376"\w* \w shout|strong="H7321"\w* \w with|strong="H0376"\w* \w a|strong="H1961"\w* \w great|strong="H1419"\w* \w shout|strong="H7321"\w*; \w then|strong="H1961"\w* \w the|strong="H3605"\w* \w city|strong="H5892"\w* \w wall|strong="H2346"\w* \w will|strong="H1961"\w* \w fall|strong="H5307"\w* \w down|strong="H5307"\w* \w flat|strong="H8478"\w*, \w and|strong="H1419"\w* \w the|strong="H3605"\w* \w people|strong="H5971"\w* \w shall|strong="H0376"\w* \w go|strong="H5927"\w* \w up|strong="H5927"\w*, \w every|strong="H3605"\w* \w man|strong="H0376"\w* \w straight|strong="H5048"\w* \w in|strong="H8085"\w* \w front|strong="H5048"\w* \w of|strong="H0376"\w* \w him|strong="H0853"\w*.” 
\¬v
\¬p