\v=25
\v~=\w And|strong="H3478"\w* \w it|strong="H7760"\w* \w was|strong="H1961"\w* \w so|strong="H1961"\w* \w from|strong="H3478"\w* \w that|strong="H3117"\w* \w day|strong="H3117"\w* \w forward|strong="H4605"\w*, \w that|strong="H3117"\w* \w he|strong="H1931"\w* \w made|strong="H7760"\w* \w it|strong="H7760"\w* \w a|strong="H1961"\w* \w statute|strong="H2706"\w* \w and|strong="H3478"\w* \w an|strong="H1961"\w* \w ordinance|strong="H4941"\w* \w for|strong="H5704"\w* \w Israel|strong="H3478"\w* \w unto|strong="H3478"\w* \w this|strong="H2088"\w* \w day|strong="H3117"\w*. 
\¬v
\¬p