\q1
\v=3
\v~=\w never|strong="H3808"\w* \w to|strong="H5927"\w* \w enter|strong="H5927"\w* \w his|strong="H5921"\w* \w tent|strong="H0168"\w*, 
\¬q1
\q2
\p~<<q2=\w never|strong="H3808"\w* \w to|strong="H5927"\w* \w lie|strong="H5927"\w* \w on|strong="H5921"\w* \w his|strong="H5921"\w* \w bed|strong="H3326"\w*, 
\¬q2
\¬v