\c=1  
\p
\¬p
\q1
\c#=1
\v=1
\v~=Toute sagesse vient du Seigneur, 
\¬q1
\q2
\p~<<q2=2 et est avec lui pour toujours. 
\¬q2
\¬v