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