\v=7
\v~=\w It|strong="H1931"\w* \w will|strong="H3068"\w* \w be|strong="H1961"\w* \w a|strong="H1961"\w* \w unique|strong="H0259"\w* \w day|strong="H3117"\w* \w which|strong="H1931"\w* \w is|strong="H3068"\w* \w known|strong="H3045"\w* \w to|strong="H1961"\w* \w Yahweh|strong="H3068"\w*—\w not|strong="H3808"\w* \w day|strong="H3117"\w*, \w and|strong="H3068"\w* \w not|strong="H3808"\w* \w night|strong="H3915"\w*; \w but|strong="H3808"\w* \w it|strong="H1931"\w* \w will|strong="H3068"\w* \w come|strong="H1961"\w* \w to|strong="H1961"\w* \w pass|strong="H1961"\w* \w that|strong="H3045"\w* \w at|strong="H3068"\w* \w evening|strong="H6153"\w* \w time|strong="H6256"\w* \w there|strong="H1961"\w* \w will|strong="H3068"\w* \w be|strong="H1961"\w* \w light|strong="H0216"\w*. 
\¬v
\¬p