\q1
\v=27
\v~=\w then|strong="H0227"\w* \w he|strong="H0227"\w* \w saw|strong="H7200"\w* \w it|strong="H7200"\w*, \w and|strong="H7200"\w* \w declared|strong="H5608"\w* \w it|strong="H7200"\w*. 
\¬q1
\q2
\p~<<q2=\w He|strong="H0227"\w* \w established|strong="H3559"\w* \w it|strong="H7200"\w*, \w yes|strong="H1571"\w*, \w and|strong="H7200"\w* \w searched|strong="H2713"\w* \w it|strong="H7200"\w* \w out|strong="H7200"\w*. 
\¬q2
\¬v