\q1
\v=5
\v~=\w A|strong="H3808"\w* \w faithful|strong="H0539"\w* \w witness|strong="H5707"\w* \w will|strong="H3808"\w* \w not|strong="H3808"\w* \w lie|strong="H8267"\w*; 
\¬q1
\q1
\p~<<q1=\w But|strong="H3808"\w* \w a|strong="H3808"\w* \w false|strong="H8267"\w* \w witness|strong="H5707"\w* \w uttereth|strong="H5414"\w* \w lies|strong="H3577"\w*. 
\¬q1
\¬v