\v=30
\v~=\w And|strong="G2532"\w* \w the|strong="G2532"\w* \w people|strong="G3588"\w* \w left|strong="G1831"\w* \w the|strong="G2532"\w* \w town|strong="G4172"\w* \w and|strong="G2532"\w* \w went|strong="G1831"\w* \w to|strong="G4314"\w* \w see|strong="H7200"\w* \w Jesus|strong="G1831"\w*. 
\¬v
\¬p