\q1
\v=2
\v~=\w Day|strong="H3117"\w* \w tells|strong="H5046"\w* \w it|strong="H8064"\w* \w to|strong="H3027"\w* \w day|strong="H3117"\w*, 
\¬q1
\q2
\p~<<q2=\w night|strong="H3915"\w* \w reveals|strong="H1540"\w* \w it|strong="H8064"\w* \w to|strong="H3027"\w* \w night|strong="H3915"\w*, 
\¬q2
\¬v