\b
\q1
\v=6
\v~=\w The|strong="H5973"\w* \w wolf|strong="H2061"\w* \w will|strong="H5288"\w* \w live|strong="H1481"\w* \w with|strong="H5973"\w* \w the|strong="H5973"\w* \w lamb|strong="H3532"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H5288"\w* \w the|strong="H5973"\w* \w leopard|strong="H5246"\w* \w will|strong="H5288"\w* \w lie|strong="H7257"\w* \w down|strong="H7257"\w* \w with|strong="H5973"\w* \w the|strong="H5973"\w* \w young|strong="H5288"\w* \w goat|strong="H1423"\w*, 
\¬q2
\q2
\p~<<q2=\w the|strong="H5973"\w* \w calf|strong="H5695"\w*, \w the|strong="H5973"\w* \w young|strong="H5288"\w* \w lion|strong="H3715"\w*, \w and|strong="H5288"\w* \w the|strong="H5973"\w* fattened \w calf|strong="H5695"\w* \w together|strong="H3162"\w*; 
\¬q2
\q2
\p~<<q2=\w and|strong="H5288"\w* \w a|strong="H3532"\w* \w little|strong="H6996"\w* \w child|strong="H5288"\w* \w will|strong="H5288"\w* \w lead|strong="H7257"\w* \w them|strong="H3162"\w*. 
\¬q2
\¬v