\p
\v=12
\v~=“\w Six|strong="H8337"\w* \w days|strong="H3117"\w* \w you|strong="H3117"\w* \w shall|strong="H1121"\w* \w do|strong="H6213"\w* \w your|strong="H5117"\w* \w work|strong="H4639"\w*, \w and|strong="H1121"\w* \w on|strong="H3117"\w* \w the|strong="H3117"\w* \w seventh|strong="H7637"\w* \w day|strong="H3117"\w* \w you|strong="H3117"\w* \w shall|strong="H1121"\w* \w rest|strong="H5117"\w*, \w that|strong="H3117"\w* \w your|strong="H5117"\w* \w ox|strong="H7794"\w* \w and|strong="H1121"\w* \w your|strong="H5117"\w* \w donkey|strong="H2543"\w* \w may|strong="H1121"\w* \w have|strong="H1121"\w* \w rest|strong="H5117"\w*, \w and|strong="H1121"\w* \w the|strong="H3117"\w* \w son|strong="H1121"\w* \w of|strong="H1121"\w* \w your|strong="H5117"\w* \w servant|strong="H0519"\w*, \w and|strong="H1121"\w* \w the|strong="H3117"\w* \w alien|strong="H1616"\w* \w may|strong="H1121"\w* \w be|strong="H1121"\w* \w refreshed|strong="H5314"\w*. 
\¬v
\¬p