\q1
\v=3
\v~=A \w whip|strong="H7752"\w* \w is|strong="H3684"\w* for \w the|strong="H7626"\w* \w horse|strong="H5483"\w*, 
\¬q1
\q2
\p~<<q2=a \w bridle|strong="H4964"\w* for \w the|strong="H7626"\w* \w donkey|strong="H2543"\w*, 
\¬q2
\q2
\p~<<q2=\w and|strong="H2543"\w* a \w rod|strong="H7626"\w* for \w the|strong="H7626"\w* back \w of|strong="H7626"\w* \w fools|strong="H3684"\w*! 
\¬q2
\¬v