\v=6
\v~=\w He|strong="H0834"\w* \w who|strong="H0834"\w* \w sits|strong="H3427"\w* \w on|strong="H5921"\w* \w anything|strong="H3627"\w* \w on|strong="H5921"\w* \w which|strong="H0834"\w* \w the|strong="H0834"\w* man \w who|strong="H0834"\w* \w has|strong="H0834"\w* \w the|strong="H0834"\w* \w discharge|strong="H2100"\w* \w sat|strong="H3427"\w* \w shall|strong="H0834"\w* \w wash|strong="H3526"\w* \w his|strong="H5921"\w* \w clothes|strong="H0899"\w*, \w and|strong="H4325"\w* \w bathe|strong="H7364"\w* \w himself|strong="H2930"\w* \w in|strong="H3427"\w* \w water|strong="H4325"\w*, \w and|strong="H4325"\w* \w be|strong="H4325"\w* \w unclean|strong="H2930"\w* \w until|strong="H5704"\w* \w the|strong="H0834"\w* \w evening|strong="H6153"\w*. 
\¬v
\¬p