\q1
\v=3
\v~=\w Do|strong="H0518"\w* \w two|strong="H8147"\w* walk \w together|strong="H3162"\w*, 
\¬q1
\q2
\p~<<q2=\w unless|strong="H1115"\w* \w they|strong="H0518"\w* \w have|strong="H0518"\w* \w agreed|strong="H3259"\w*? 
\¬q2
\¬v