\q1
\v=6
\v~=\w The|strong="H5921"\w* \w light|strong="H0216"\w* \w will|strong="H0216"\w* be \w dark|strong="H2821"\w* \w in|strong="H5921"\w* \w his|strong="H5921"\w* \w tent|strong="H0168"\w*. 
\¬q1
\q2
\p~<<q2=\w His|strong="H5921"\w* \w lamp|strong="H5216"\w* \w above|strong="H5921"\w* \w him|strong="H5921"\w* \w will|strong="H0216"\w* be \w put|strong="H1846"\w* \w out|strong="H5921"\w*. 
\¬q2
\¬v