\v=57
\v~=\w pour|strong="H2889"\w* \w enseigner|strong="H3384"\w* \w quand|strong="H3117"\w* c'est \w impur|strong="H2931"\w*, \w et|strong="H3117"\w* \w quand|strong="H3117"\w* c'est \w pur|strong="H2889"\w*. 
\¬p
\p
\p~<<p=C'est \w la|strong="H3117"\w* \w loi|strong="H8451"\w* \w de|strong="H3117"\w* \w la|strong="H3117"\w* \w lèpre|strong="H6883"\w*. 
\¬v
\¬p
\¬c