\v=10
\v~=\w Selon|strong="G2531"\w* \w qu'il|strong="G3754"\w* \w est|strong="G1510"\w* \w écrit|strong="G1125"\w*, 
\¬p
\q1
\p~<<q1=« \w Il|strong="G3754"\w* \w n'y|strong="G2532"\w* \w a|strong="G3756"\w* \w pas|strong="G3756"\w* \w de|strong="G3756"\w* \w juste|strong="G1342"\w*  ; 
\¬q1
\q2
\p~<<q2=2 \w Non|strong="G3756"\w*, \w pas|strong="G3756"\w* \w un|strong="G1520"\w* \w seul|strong="G1520"\w*. 
\¬q2
\¬v