\v=22
\v~=\w They|strong="G0846"\w* \w immediately|strong="G2112"\w* \w left|strong="G0863"\w* \w the|strong="G3588"\w* \w boat|strong="G4143"\w* \w and|strong="G2532"\w* \w their|strong="G0846"\w* \w father|strong="G3962"\w*, \w and|strong="G2532"\w* \w followed|strong="G0190"\w* \w him|strong="G0846"\w*. 
\¬v
\¬p