\v=30
\v~=\w They|strong="G0846"\w* \w went|strong="G1831"\w* \w out|strong="G1831"\w* \w of|strong="G1537"\w* \w the|strong="G3588"\w* \w city|strong="G4172"\w*, \w and|strong="G2532"\w* started \w to|strong="G4314"\w* \w go|strong="G1831"\w* \w to|strong="G4314"\w* \w Him|strong="G0846"\w*. 
\¬v
\¬p