\v=9
\v~=\w et|strong="G2532"\w* \w un|strong="G1722"\w* \w tiers|strong="G5154"\w* \w des|strong="G2532"\w* êtres vivants \w qui|strong="G3588"\w* \w étaient|strong="G3588"\w* \w dans|strong="G1722"\w* \w la|strong="G1722"\w* \w mer|strong="G2281"\w* moururent. \w Le|strong="G1722"\w* \w tiers|strong="G5154"\w* \w des|strong="G2532"\w* \w navires|strong="G4143"\w* \w fut|strong="G2532"\w* \w détruit|strong="G1311"\w*. 
\¬v
\¬p