\q1
\v=12
\v~=\w so|strong="H3808"\w* \w man|strong="H0376"\w* \w lies|strong="H7901"\w* \w down|strong="H7901"\w* \w and|strong="H6965"\w* \w doesn’t|strong="H3808"\w* \w rise|strong="H6965"\w*. 
\¬q1
\q2
\p~<<q2=\w Until|strong="H5704"\w* \w the|strong="H5704"\w* \w heavens|strong="H8064"\w* \w are|strong="H0376"\w* \w no|strong="H3808"\w* \w more|strong="H3808"\w*, \w they|strong="H0376"\w* \w will|strong="H0376"\w* \w not|strong="H3808"\w* \w awake|strong="H5782"\w*, 
\¬q2
\q2
\p~<<q2=\w nor|strong="H3808"\w* \w be|strong="H3808"\w* \w roused|strong="H5782"\w* \w out|strong="H0376"\w* \w of|strong="H0376"\w* \w their|strong="H3808"\w* \w sleep|strong="H8142"\w*. 
\¬q2
\¬v