\v=22
\v~=\w And|strong="G2532"\w* \w when|strong="G2532"\w* \w they|strong="G2532"\w* \w heard|strong="H8085"\w* \w it|strong="G2532"\w*, \w they|strong="G2532"\w* \w marvelled|strong="G2296"\w*, \w and|strong="G2532"\w* \w left|strong="H7604"\w* \w him|strong="G2532"\w*, \w and|strong="G2532"\w* \w went|strong="G2532"\w* \w away|strong="H5493"\w*. 
\¬v
\¬p