\v=40
\v~=\w He|strong="H5704"\w* who \w eats|strong="H0398"\w* \w of|strong="H0398"\w* \w its|strong="H0853"\w* \w carcass|strong="H5038"\w* \w shall|strong="H5038"\w* \w wash|strong="H3526"\w* \w his|strong="H3526"\w* \w clothes|strong="H0899"\w*, \w and|strong="H0398"\w* \w be|strong="H5375"\w* \w unclean|strong="H2930"\w* \w until|strong="H5704"\w* \w the|strong="H0853"\w* \w evening|strong="H6153"\w*. \w He|strong="H5704"\w* \w also|strong="H0853"\w* who \w carries|strong="H5375"\w* \w its|strong="H0853"\w* \w carcass|strong="H5038"\w* \w shall|strong="H5038"\w* \w wash|strong="H3526"\w* \w his|strong="H3526"\w* \w clothes|strong="H0899"\w*, \w and|strong="H0398"\w* \w be|strong="H5375"\w* \w unclean|strong="H2930"\w* \w until|strong="H5704"\w* \w the|strong="H0853"\w* \w evening|strong="H6153"\w*. 
\¬v
\¬p