\v=13
\v~=\w And|strong="G2532"\w* \w he|strong="G2532"\w* \w left|strong="H7604"\w* \w them|strong="G3588"\w*, \w and|strong="G2532"\w* \w again|strong="G3825"\w* \w entering|strong="G1684"\w* \w into|strong="G1519"\w* \add \+w the|strong="G2532"\+w* \+w boat|strong="H0590"\+w*\add* \w departed|strong="H1980"\w* \w to|strong="G1519"\w* \w the|strong="G2532"\w* \w other|strong="G4008"\w* \w side|strong="G4008"\w*. 
\¬v
\¬p