\v=10
\v~=\w Le|strong="H3318"\w* \w prince|strong="H5387"\w* entrera \w avec|strong="H8432"\w* \w eux|strong="H6440"\w* \w quand|strong="H3117"\w* \w ils|strong="H1992"\w* entreront. \w Quand|strong="H3117"\w* \w ils|strong="H1992"\w* \w sortiront|strong="H3318"\w*, \w il|strong="H3548"\w* \w sortira|strong="H3318"\w*. 
\¬v
\¬p