\v=9
\v~=\w and|strong="G2532"\w* \w a|strong="G2192"\w* \w third|strong="G5154"\w* \w part|strong="G5154"\w* \w of|strong="G2532"\w* \w all|strong="G2532"\w* \w created|strong="G2938"\w* \w things|strong="G3588"\w* \w that|strong="G3588"\w* \w are|strong="G3588"\w* \w in|strong="G1722"\w* \w the|strong="G1722"\w* \w sea|strong="G2281"\w* – \w that|strong="G3588"\w* \w is|strong="G3588"\w*, \w of|strong="G2532"\w* \w all|strong="G2532"\w* \w living|strong="G2192"\w* \w things|strong="G3588"\w* – \w died|strong="G3588"\w*, \w and|strong="G2532"\w* \w a|strong="G2192"\w* \w third|strong="G5154"\w* \w of|strong="G2532"\w* \w the|strong="G1722"\w* \w ships|strong="G4143"\w* \w was|strong="G3588"\w* \w destroyed|strong="G1311"\w*. 
\¬v
\¬p