\q1
\v=5
\v~=Leurs branches seront coupées avant qu'elles n'arrivent à maturité. 
\¬q1
\q2
\p~<<q2=2 Leurs fruits seront inutiles, 
\¬q2
\q2
\p~<<q2=2 jamais mûres pour être mangées, et bonnes à rien. 
\¬q2
\¬v