\v=7
\v~=\w And|strong="H3117"\w* \w it|strong="H3588"\w* \w came|strong="H1961"\w* \w to|strong="H1961"\w* \w pass|strong="H1961"\w* \w after|strong="H7093"\w* \w a|strong="H1961"\w* \w while|strong="H1961"\w*, \w that|strong="H3588"\w* \w the|strong="H3588"\w* \w brook|strong="H5158"\w* \w dried|strong="H3001"\w* \w up|strong="H3001"\w*, \w because|strong="H3588"\w* \w there|strong="H1961"\w* \w was|strong="H1961"\w* \w no|strong="H3808"\w* \w rain|strong="H1653"\w* \w in|strong="H3117"\w* \w the|strong="H3588"\w* \w land|strong="H0776"\w*. 
\¬v
\¬p