\v=7
\v~=\w For|strong="H6213"\w* \w the|strong="H3605"\w* \w stuff|strong="H4399"\w* \w they|strong="H6213"\w* \w had|strong="H1961"\w* \w was|strong="H1961"\w* \w sufficient|strong="H1767"\w* \w for|strong="H6213"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w work|strong="H4399"\w* \w to|strong="H1961"\w* \w make|strong="H6213"\w* \w it|strong="H6213"\w*, \w and|strong="H6213"\w* \w too|strong="H1961"\w* \w much|strong="H3498"\w*. 
\¬v
\¬p