\q1
\v=2
\v~=A faithful wife gives joy to her husband. 
\¬q1
\q2
\p~<<q2=He will fulfill his years in peace. 
\¬q2
\¬v