\q1
\v=14
\v~=Celui qui se lève tôt pour la chercher n'aura pas de difficulté, 
\¬q1
\q2
\p~<<q2=2 car il la trouvera assise à ses portes. 
\¬q2
\q2
\p~<<q2=2 
\¬v