\q1
\v=19
\v~=\w Le|strong="H3789"\w* \w reste|strong="H7605"\w* \w des|strong="H4557"\w* \w arbres|strong="H6086"\w* \w de|strong="H6086"\w* \w sa|strong="H1961"\w* \w forêt|strong="H3293"\w* \w pourra|strong="H6213"\w* \w être|strong="H1961"\w* \w compté|strong="H4557"\w*, 
\¬q1
\q1
\p~<<q1=\w Et|strong="H5288"\w* \w un|strong="H3789"\w* \w enfant|strong="H5288"\w* \w en|strong="H3789"\w* \w écrirait|strong="H3789"\w* \w le|strong="H3789"\w* \w nombre|strong="H4557"\w*. 
\¬q1
\¬v