\q1
\v=9
\v~=\w No|strong="H3808"\w* \w lion|strong="H0738"\w* \w will|strong="H1961"\w* \w be|strong="H1961"\w* \w there|strong="H8033"\w*, 
\¬q1
\q2
\p~<<q2=\w nor|strong="H3808"\w* \w will|strong="H1961"\w* \w any|strong="H1961"\w* ravenous \w animal|strong="H2416"\w* \w go|strong="H1980"\w* \w up|strong="H5927"\w* \w on|strong="H1980"\w* \w it|strong="H1961"\w*. 
\¬q2
\q2
\p~<<q2=\w They|strong="H8033"\w* \w will|strong="H1961"\w* \w not|strong="H3808"\w* \w be|strong="H1961"\w* \w found|strong="H4672"\w* \w there|strong="H8033"\w*; 
\¬q2
\q2
\p~<<q2=\w but|strong="H3808"\w* \w the|strong="H1961"\w* \w redeemed|strong="H1350"\w* \w will|strong="H1961"\w* \w walk|strong="H1980"\w* \w there|strong="H8033"\w*. 
\¬q2
\¬v