\q1
\v=17
\v~=\w Celui|strong="H5315"\w* \w qui|strong="H5707"\w* \w est|strong="H8267"\w* véridique \w témoigne|strong="H5707"\w* honnêtement, 
\¬q1
\q2
\p~<<q2=2 mais \w un|strong="H6213"\w* \w faux|strong="H8267"\w* \w témoin|strong="H5707"\w* ment. 
\¬q2
\¬v