\v=50
\v~=\w And|strong="G2532"\w* \w they|strong="G2532"\w* \w all|strong="G3956"\w* \w left|strong="H7604"\w* \w him|strong="G2532"\w*, \w and|strong="G2532"\w* \w fled|strong="G5343"\w*. 
\¬v
\¬p