\q1
\v=14
\v~=\w Nos|strong="H5414"\w* bœufs \w tireront|strong="H3318"\w* \w de|strong="H3318"\w* lourdes \w charges|strong="H4392"\w*. 
\¬q1
\q2
\p~<<q2=2 \w Il|strong="H1732"\w* n'y \w a|strong="H3318"\w* \w pas|strong="H3045"\w* d'entrée \w par|strong="H3318"\w* effraction, \w ni|strong="H1121"\w* \w de|strong="H3318"\w* \w sortie|strong="H3318"\w*, 
\¬q2
\q2
\p~<<q2=2 \w et|strong="H3318"\w* \w aucun|strong="H5414"\w* tollé \w dans|strong="H5414"\w* \w nos|strong="H5414"\w* \w rues|strong="H7339"\w*. 
\¬q2
\¬v