\v=8
\v~=\w And|strong="H3117"\w* \w it|strong="H1931"\w* \w shall|strong="H3117"\w* \w come|strong="H1961"\w* \w to|strong="H3318"\w* \w pass|strong="H1961"\w* \w in|strong="H3117"\w* \w that|strong="H3117"\w* \w day|strong="H3117"\w*, \w that|strong="H3117"\w* \w living|strong="H2416"\w* \w waters|strong="H4325"\w* \w shall|strong="H3117"\w* \w go|strong="H3318"\w* \w out|strong="H3318"\w* \w from|strong="H3318"\w* \w Jerusalem|strong="H3389"\w*; \w half|strong="H2677"\w* \w of|strong="H3117"\w* \w them|strong="H3318"\w* \w toward|strong="H3318"\w* \w the|strong="H3117"\w* \w eastern|strong="H6931"\w* \w sea|strong="H3220"\w*, \w and|strong="H3117"\w* \w half|strong="H2677"\w* \w of|strong="H3117"\w* \w them|strong="H3318"\w* \w toward|strong="H3318"\w* \w the|strong="H3117"\w* \w western|strong="H3220"\w* \w sea|strong="H3220"\w*: \w in|strong="H3117"\w* \w summer|strong="H7019"\w* \w and|strong="H3117"\w* \w in|strong="H3117"\w* \w winter|strong="H2779"\w* \w shall|strong="H3117"\w* \w it|strong="H1931"\w* \w be|strong="H1961"\w*. 
\¬v
\¬p