\v=30
\v~=\w So|strong="H7673"\w* \w the|strong="H3117"\w* \w people|strong="H5971"\w* \w rested|strong="H7673"\w* \w on|strong="H3117"\w* \w the|strong="H3117"\w* \w seventh|strong="H7637"\w* \w day|strong="H3117"\w*. 
\¬v
\¬p