\v=15
\v~=\w These|strong="H0428"\w* \w are|strong="H1121"\w* \w they|strong="H1992"\w* \w that|strong="H1121"\w* \w went|strong="H1121"\w* \w over|strong="H7218"\w* \w the|strong="H1121"\w* \w Jordan|strong="H3383"\w* \w in|strong="H1419"\w* \w the|strong="H1121"\w* \w first|strong="H1121"\w* \w month|strong="H2320"\w*, \w when|strong="H1121"\w* \w it|strong="H7218"\w* \w had|strong="H6635"\w* \w overflowed|strong="H7857"\w* \w all|strong="H1419"\w* \w its|strong="H3605"\w* \w banks|strong="H1415"\w*; \w and|strong="H3967"\w* \w they|strong="H1992"\w* \w put|strong="H5414"\w* \w to|strong="H1121"\w* \w flight|strong="H4498"\w* \w all|strong="H1419"\w* \w them|strong="H1121"\w* \w of|strong="H1121"\w* \w the|strong="H1121"\w* \w valleys|strong="H6010"\w*, \w both|strong="H8147"\w* \w toward|strong="H7218"\w* \w the|strong="H1121"\w* \w east|strong="H6921"\w* \w and|strong="H3967"\w* \w toward|strong="H7218"\w* \w the|strong="H1121"\w* \w west|strong="H3220"\w*. 
\¬v
\¬p