\p
\v=24
\v~=\w He|strong="G2532"\w* \w looked|strong="G3708"\w* \w up|strong="G0308"\w*, \w and|strong="G2532"\w* \w said|strong="G3004"\w*, “\w I|strong="G2532"\w* \w see|strong="G3708"\w* \w men|strong="G0444"\w*, \w but|strong="G2532"\w* \w I|strong="G2532"\w* \w see|strong="G3708"\w* \w them|strong="G3004"\w* \w like|strong="G5613"\w* \w walking|strong="G4043"\w* \w trees|strong="G1186"\w*.” 
\¬v
\¬p