\v=9
\v~=\w et|strong="H1004"\w* \w leurs|strong="H1004"\w* \w frères|strong="H1121"\w*, \w selon|strong="H5921"\w* \w leurs|strong="H1004"\w* \w générations|strong="H8435"\w*, \w neuf|strong="H8672"\w* \w cent|strong="H3967"\w* cinquante-six. \w Tous|strong="H3605"\w* \w ces|strong="H1992"\w* \w hommes|strong="H7218"\w* \w étaient|strong="H7218"\w* \w chefs|strong="H7218"\w* \w de|strong="H1004"\w* \w famille|strong="H1004"\w*, \w selon|strong="H5921"\w* \w les|strong="H1004"\w* \w maisons|strong="H1004"\w* \w de|strong="H1004"\w* \w leurs|strong="H1004"\w* pères. 
\¬v
\¬p