\v=17
\v~=\w Ils|strong="H1992"\w* \w en|strong="H3427"\w* \w finirent|strong="H3615"\w* \w avec|strong="H3427"\w* \w tous|strong="H3605"\w* \w les|strong="H3427"\w* \w hommes|strong="H1121"\w* \w qui|strong="H3117"\w* \w avaient|strong="H3478"\w* épousé \w des|strong="H3117"\w* \w femmes|strong="H3205"\w* \w étrangères|strong="H5237"\w*, \w le|strong="H3117"\w* \w premier|strong="H7223"\w* \w jour|strong="H3117"\w* \w du|strong="H3117"\w* \w premier|strong="H7223"\w* \w mois|strong="H2320"\w*. 
\¬v
\¬p