\v=13
\v~=\w So|strong="G2532"\w* \w he|strong="G2532"\w* \w left|strong="H7604"\w* \w them|strong="G3588"\w* \w to|strong="G1519"\w* \w themselves|strong="G1438"\w*, \w and|strong="G2532"\w*, \w getting|strong="G1684"\w* \w into|strong="G1519"\w* \w the|strong="G2532"\w* \w boat|strong="H0590"\w* \w again|strong="G3825"\w*, \w went|strong="G2532"\w* \w away|strong="H5493"\w* \w to|strong="G1519"\w* \w the|strong="G2532"\w* \w opposite|strong="H5048"\w* \w shore|strong="H8193"\w*. 
\¬v
\¬p