\v=18
\v~=\w They|strong="G2532"\w* \w left|strong="H7604"\w* \w their|strong="G2532"\w* \w nets|strong="G1350"\w* \w at|strong="G3588"\w* \w once|strong="H6471"\w*, \w and|strong="G2532"\w* \w followed|strong="H0310"\w* \w him|strong="G3588"\w*. 
\¬v
\¬p