\v=43
\v~=\w And|strong="G2532"\w* \w he|strong="G2532"\w* \w took|strong="G2983"\w* \w it|strong="G2532"\w*, \w and|strong="G2532"\w* \w ate|strong="G2068"\w* \w before|strong="G1799"\w* \w them|strong="G2532"\w*. 
\¬v
\¬p