\q1
\v=5
\v~=\w A|strong="H3808"\w* truthful \w witness|strong="H5707"\w* \w will|strong="H3808"\w* \w not|strong="H3808"\w* \w lie|strong="H8267"\w*, 
\¬q1
\q2
\p~<<q2=\w but|strong="H3808"\w* \w a|strong="H3808"\w* \w false|strong="H8267"\w* \w witness|strong="H5707"\w* pours \w out|strong="H6315"\w* \w lies|strong="H8267"\w*. 
\¬q2
\¬v