\v=28
\v~=\w car|strong="H3588"\w* \w il|strong="H3548"\w* \w aurait|strong="H3068"\w* \w dû|strong="H3427"\w* \w rester|strong="H3427"\w* \w dans|strong="H3427"\w* \w sa|strong="H7725"\w* \w ville|strong="H5892"\w* \w de|strong="H5892"\w* \w refuge|strong="H4733"\w* \w jusqu'à|strong="H3383"\w* \w la|strong="H7725"\w* \w mort|strong="H4194"\w* \w du|strong="H3427"\w* \w grand|strong="H1419"\w* \w prêtre|strong="H3548"\w*. \w Mais|strong="H3588"\w* \w après|strong="H6310"\w* \w la|strong="H7725"\w* \w mort|strong="H4194"\w* \w du|strong="H3427"\w* \w grand|strong="H1419"\w* \w prêtre|strong="H3548"\w*, \w le|strong="H7725"\w* \w meurtrier|strong="H7523"\w* \w retournera|strong="H7725"\w* \w dans|strong="H3427"\w* \w le|strong="H7725"\w* \w pays|strong="H1366"\w* \w qu'il|strong="H5892"\w* \w possède|strong="H4672"\w*. 
\¬v
\¬p