\v=6
\v~=\w and|strong="G2532"\w* \w we|strong="G2532"\w* \w went|strong="G2532"\w* \w on|strong="G1519"\w* \w board|strong="G1684"\w* \w the|strong="G2532"\w* \w ship|strong="G4143"\w*, \w but|strong="G1161"\w* \w they|strong="G2532"\w* \w returned|strong="G5290"\w* \w home|strong="G1519"\w* \w again|strong="G5290"\w*. 
\¬v
\¬p