\v=11
\v~=\w And|strong="H1419"\w* \w they|strong="H5704"\w* \w smote|strong="H5221"\w* \w the|strong="H5221"\w* \w men|strong="H1419"\w* \w that|strong="H5704"\w* \w were|strong="H1419"\w* \w at|strong="H1004"\w* \w the|strong="H5221"\w* \w door|strong="H6607"\w* \w of|strong="H1004"\w* \w the|strong="H5221"\w* \w house|strong="H1004"\w* \w with|strong="H1004"\w* \w blindness|strong="H5575"\w*, \w both|strong="H8147"\w* \w small|strong="H6996"\w* \w and|strong="H1419"\w* \w great|strong="H1419"\w*, \w so|strong="H4672"\w* \w that|strong="H5704"\w* \w they|strong="H5704"\w* \w wearied|strong="H3811"\w* \w themselves|strong="H3811"\w* \w to|strong="H5704"\w* \w find|strong="H4672"\w* \w the|strong="H5221"\w* \w door|strong="H6607"\w*. 
\¬v
\¬p