\v=8
\v~=\w For|strong="H3588"\w* \w all|strong="H3605"\w* \w tables|strong="H7979"\w* \w are|strong="H7979"\w* \w full|strong="H4390"\w* \w of|strong="H4390"\w* \w vomit|strong="H6892"\w* \add \+w and|strong="H4725"\+w*\add* \w filthiness|strong="H6675"\w*, \add \+w so|strong="H3588"\+w* \+w that|strong="H3588"\+w* \+w there|strong="H3605"\+w* \+w is|strong="H3605"\+w*\add* \w no|strong="H1097"\w* \w place|strong="H4725"\w* \add \+w clean|strong="H2889"\+w*\add*. 
\¬v
\¬p