\q1
\v=17
\v~=\w What|strong="H4100"\w* \w time|strong="H6256"\w* \w they|strong="H6256"\w* \w wax|strong="H1749"\w* \w warm|strong="H2527"\w*, \w they|strong="H6256"\w* \w vanish|strong="H1846"\w*; 
\¬q1
\q1
\p~<<q1=\w When|strong="H6256"\w* \w it|strong="H4725"\w* \w is|strong="H4725"\w* \w hot|strong="H2527"\w*, \w they|strong="H6256"\w* \w are|strong="H3117"\w* \w consumed|strong="H6789"\w* \w out|strong="H1846"\w* \w of|strong="H6256"\w* \w their|strong="H6256"\w* \w place|strong="H4725"\w*. 
\¬q1
\¬v