\v=20
\v~=\w So|strong="H3651"\w* \w you|strong="H6213"\w* \w shall|strong="H1004"\w* \w do|strong="H6213"\w* \w on|strong="H1004"\w* \w the|strong="H0853"\w* \w seventh|strong="H7651"\w* \w day|strong="H2320"\w* \w of|strong="H1004"\w* \w the|strong="H0853"\w* \w month|strong="H2320"\w* \w for|strong="H1004"\w* \w everyone|strong="H0376"\w* \w who|strong="H0376"\w* errs, \w and|strong="H1004"\w* \w for|strong="H1004"\w* \w him|strong="H0853"\w* \w who|strong="H0376"\w* \w is|strong="H0376"\w* simple. \w So|strong="H3651"\w* \w you|strong="H6213"\w* \w shall|strong="H1004"\w* \w make|strong="H6213"\w* \w atonement|strong="H3722"\w* \w for|strong="H1004"\w* \w the|strong="H0853"\w* \w house|strong="H1004"\w*. 
\¬v
\¬p