\q1
\v=7
\v~=\w La|strong="H3162"\w* \w vache|strong="H6510"\w* \w et|strong="H1241"\w* l'ours \w vont|strong="H3318"\w* \w paître|strong="H7462"\w*. 
\¬q1
\q2
\p~<<q2=2 \w Leurs|strong="H7257"\w* \w petits|strong="H3206"\w* \w se|strong="H3206"\w* \w coucheront|strong="H7257"\w* \w ensemble|strong="H3162"\w*. 
\¬q2
\q2
\p~<<q2=2 \w Le|strong="H7462"\w* \w lion|strong="H3715"\w* mangera \w de|strong="H7462"\w* \w la|strong="H3162"\w* \w paille|strong="H8401"\w* \w comme|strong="H4758"\w* \w le|strong="H7462"\w* \w bœuf|strong="H1241"\w*. 
\¬q2
\¬v