\q1
\v=3
\v~=« \w Certes|strong="H3808"\w*, \w je|strong="H7725"\w* n'entrerai \w pas|strong="H5927"\w* \w dans|strong="H5921"\w* \w la|strong="H5927"\w* structure \w de|strong="H1004"\w* \w ma|strong="H5927"\w* \w maison|strong="H1004"\w*, 
\¬q1
\q2
\p~<<q2=2 \w ni|strong="H1121"\w* \w monter|strong="H5927"\w* \w dans|strong="H5921"\w* \w mon|strong="H5927"\w* \w lit|strong="H6210"\w* ; 
\¬q2
\¬v