\v=30
\v~=\w Ayant|strong="G1161"\w* \w donc|strong="G3767"\w* \w reçu|strong="G2983"\w* \w ce|strong="G1565"\w* \w morceau|strong="G5596"\w*, \w il|strong="G1161"\w* \w sortit|strong="G1831"\w* \w aussitôt|strong="G2112"\w*. \w C'était|strong="G3754"\w* \w la|strong="G1161"\w* \w nuit|strong="G3571"\w*. 
\¬v
\¬p