\v=47
\v~=\w And|strong="H1004"\w* \w he|strong="H1004"\w* \w that|strong="H1004"\w* \w lieth|strong="H7901"\w* \w in|strong="H1004"\w* \w the|strong="H1004"\w* \w house|strong="H1004"\w* \w shall|strong="H1004"\w* \w wash|strong="H3526"\w* \w his|strong="H3526"\w* \w clothes|strong="H0899"\w*; \w and|strong="H1004"\w* \w he|strong="H1004"\w* \w that|strong="H1004"\w* \w eateth|strong="H0398"\w* \w in|strong="H1004"\w* \w the|strong="H1004"\w* \w house|strong="H1004"\w* \w shall|strong="H1004"\w* \w wash|strong="H3526"\w* \w his|strong="H3526"\w* \w clothes|strong="H0899"\w*. 
\¬v
\¬p