\q1
\v=12
\v~=\w Ses|strong="H5869"\w* \w yeux|strong="H5869"\w* \w seront|strong="H5869"\w* \w rouges|strong="H2447"\w* \w de|strong="H5869"\w* \w vin|strong="H3196"\w*, 
\¬q1
\q2
\p~<<q2=2 \w ses|strong="H5869"\w* \w dents|strong="H8127"\w* \w blanches|strong="H3836"\w* \w de|strong="H5869"\w* \w lait|strong="H2461"\w*. 
\¬q2
\¬v