\v=24
\v~=\w Hénoc|strong="H2585"\w* \w marcha|strong="H1980"\w* \w avec|strong="H3947"\w* \w Dieu|strong="H3068"\w*, \w et|strong="H3947"\w* \w il|strong="H3117"\w* \w ne|strong="H3205"\w* \w fut|strong="H3068"\w* \w pas|strong="H6213"\w* trouvé, \w car|strong="H3588"\w* \w Dieu|strong="H3068"\w* \w le|strong="H3947"\w* \w prit|strong="H3947"\w*. 
\¬v
\¬p