\q1
\v=10
\v~=\w Leurs|strong="H1602"\w* \w taureaux|strong="H7794"\w* \w se|strong="H5315"\w* reproduisent \w sans|strong="H3808"\w* \w faute|strong="H6213"\w*. 
\¬q1
\q2
\p~<<q2=2 \w Leurs|strong="H1602"\w* \w vaches|strong="H6510"\w* vêlent, \w et|strong="H5674"\w* \w ne|strong="H3808"\w* \w font|strong="H6213"\w* \w pas|strong="H3808"\w* \w de|strong="H5674"\w* fausses \w couches|strong="H7901"\w*. 
\¬q2
\¬v