\v=23
\v~=\w Il|strong="H1931"\w* \w les|strong="H3947"\w* \w prit|strong="H3947"\w*, \w leur|strong="H3947"\w* \w fit|strong="H6213"\w* \w passer|strong="H5674"\w* \w le|strong="H5674"\w* \w torrent|strong="H5158"\w*, \w et|strong="H6965"\w* \w le|strong="H5674"\w* \w fit|strong="H6213"\w* \w passer|strong="H5674"\w* \w à|strong="H5674"\w* \w tout|strong="H3947"\w* \w ce|strong="H1931"\w* \w qui|strong="H3206"\w* \w lui|strong="H1931"\w* \w appartenait|strong="H1961"\w*. 
\¬v
\¬p