\v=15
\v~=\w Ils|strong="H1992"\w* \w passèrent|strong="H3885"\w* \w par|strong="H5892"\w* \w là|strong="H5493"\w*, \w pour|strong="H1004"\w* \w entrer|strong="H3318"\w* \w et|strong="H1004"\w* \w se|strong="H1004"\w* loger \w à|strong="H3427"\w* \w Guibea|strong="H1390"\w*. \w Il|strong="H5892"\w* \w y|strong="H8033"\w* \w alla|strong="H3212"\w*, \w et|strong="H1004"\w* s'assit \w dans|strong="H3427"\w* \w la|strong="H5493"\w* \w rue|strong="H7339"\w* \w de|strong="H1004"\w* \w la|strong="H5493"\w* \w ville|strong="H5892"\w*, car \w il|strong="H5892"\w* n'y \w avait|strong="H1004"\w* \w personne|strong="H5869"\w* \w qui|strong="H5892"\w* \w les|strong="H5493"\w* \w reçût|strong="H8085"\w* \w dans|strong="H3427"\w* \w sa|strong="H5493"\w* \w maison|strong="H1004"\w* \w pour|strong="H1004"\w* \w y|strong="H8033"\w* \w rester|strong="H3427"\w*. 
\¬v
\¬p