\v=15
\v~=\w Every|strong="H3605"\w* \w open|strong="H6605"\w* \w vessel|strong="H3627"\w*, \w which|strong="H0834"\w* \w has|strong="H0834"\w* \w no|strong="H0369"\w* \w covering|strong="H6781"\w* bound \w on|strong="H5921"\w* \w it|strong="H1931"\w*, \w is|strong="H0369"\w* \w unclean|strong="H2931"\w*. 
\¬v
\¬p