\q1
\v=9
\v~=\w Toutes|strong="H4390"\w* \w sont|strong="H3027"\w* \w claires|strong="H5228"\w* \w pour|strong="H1847"\w* \w celui|strong="H5315"\w* \w qui|strong="H3477"\w* \w est|strong="H3477"\w* \w intelligent|strong="H8394"\w*, 
\¬q1
\q1
\p~<<q1=\w Et|strong="H3117"\w* \w droites|strong="H3477"\w* \w pour|strong="H1847"\w* \w ceux|strong="H3605"\w* \w qui|strong="H3477"\w* \w ont|strong="H5869"\w* \w trouvé|strong="H4672"\w* \w la|strong="H4672"\w* \w science|strong="H1847"\w*. 
\¬q1
\¬v