\v=11
\v~=\w Quand|strong="G2532"\w* \w ils|strong="G2532"\w* \w apprirent|strong="G1722"\w* \w qu'il|strong="G2532"\w* \w était|strong="G2532"\w* \w vivant|strong="G2198"\w* \w et|strong="G2532"\w* \w qu'elle|strong="G2532"\w* \w l'avait|strong="G2424"\w* \w vu|strong="G2300"\w*, \w ils|strong="G2532"\w* \w ne|strong="G2532"\w* \w crurent|strong="G4100"\w* \w pas|strong="G3756"\w*. 
\¬v
\¬p