\v=6
\v~=\w Après|strong="G1161"\w* \w nous|strong="G2532"\w* \w être|strong="G1519"\w* \w dit|strong="G3588"\w* \w au|strong="G1519"\w* revoir, \w nous|strong="G2532"\w* \w sommes|strong="G2532"\w* \w montés|strong="G1684"\w* \w à|strong="G1519"\w* \w bord|strong="G3844"\w* \w du|strong="G2532"\w* \w navire|strong="G4143"\w*, \w et|strong="G2532"\w* \w ils|strong="G2532"\w* \w sont|strong="G3588"\w* retournés \w chez|strong="G1519"\w* \w eux|strong="G1565"\w*. 
\¬v
\¬p