\v=4
\v~=\w Si|strong="H3588"\w* \w le|strong="H7971"\w* \w bien|strong="H4399"\w* \w volé|strong="H1589"\w* \w est|strong="H7704"\w* \w trouvé|strong="H4672"\w* \w vivant|strong="H2416"\w* \w entre|strong="H7760"\w* \w ses|strong="H7971"\w* \w mains|strong="H3027"\w*, \w qu'il|strong="H7200"\w* s'agisse \w d'un|strong="H3754"\w* \w bœuf|strong="H7794"\w*, \w d'un|strong="H3754"\w* \w âne|strong="H2543"\w* \w ou|strong="H3117"\w* \w d'un|strong="H3754"\w* mouton, \w il|strong="H3117"\w* \w paiera|strong="H7999"\w* \w le|strong="H7971"\w* \w double|strong="H8147"\w*. 
\¬v
\¬p