\v=6
\v~=\w After|strong="G1161"\w* saying goodbye \w to|strong="G1519"\w* \w each|strong="G0240"\w* \w other|strong="G1161"\w*, \w we|strong="G2532"\w* \w went|strong="G0305"\w* \w on|strong="G1519"\w* \w board|strong="G1684"\w* \w the|strong="G3588"\w* \w ship|strong="G4143"\w*, \w and|strong="G2532"\w* \w they|strong="G2532"\w* \w returned|strong="G5290"\w* \w home|strong="G2398"\w* \w again|strong="G2532"\w*. 
\¬v
\¬p