\v=7
\v~=\w Ils|strong="H1992"\w* \w sont|strong="H5892"\w* couchés \w toute|strong="H3605"\w* \w la|strong="H3885"\w* \w nuit|strong="H3885"\w*, \w nus|strong="H6174"\w* \w et|strong="H6174"\w* \w sans|strong="H1097"\w* \w vêtements|strong="H3830"\w*, 
\¬q2
\q1
\p~<<q1=\w et|strong="H6174"\w* n'ont \w aucune|strong="H3808"\w* \w couverture|strong="H3682"\w* \w dans|strong="H6440"\w* \w le|strong="H6440"\w* \w froid|strong="H7135"\w*. 
\¬q1
\q2
\p~<<q2=2 
\¬v