\v=30
\v~=\w Et|strong="G2532"\w*, \w quand|strong="G2532"\w* \w elle|strong="G2532"\w* \w rentra|strong="G1525"\w* \w dans|strong="G1519"\w* \w sa|strong="G2532"\w* \w maison|strong="G3624"\w*, \w elle|strong="G2532"\w* \w trouva|strong="G2147"\w* l’enfant couchée \w sur|strong="G1909"\w* \w le|strong="G2532"\w* \w lit|strong="G2825"\w*, \w le|strong="G2532"\w* \w démon|strong="G1140"\w* \w étant|strong="G2532"\w* \w sorti|strong="G1831"\w*. 
\¬v
\¬p