\q1
\v=8
\v~=\w Ils|strong="H5971"\w* \w sont|strong="H6213"\w* \w établis|strong="H5414"\w* \w pour|strong="H6213"\w* \w toujours|strong="H5769"\w* \w et|strong="H6213"\w* \w à|strong="H6213"\w* \w jamais|strong="H5769"\w*. 
\¬q1
\q2
\p~<<q2=2 \w Ils|strong="H5971"\w* \w sont|strong="H6213"\w* \w faits|strong="H6213"\w* \w dans|strong="H6213"\w* \w la|strong="H6213"\w* \w vérité|strong="H6666"\w* \w et|strong="H6213"\w* \w la|strong="H6213"\w* \w droiture|strong="H3477"\w*. 
\¬q2
\¬v