\v=9
\v~=\w Après|strong="G2532"\w* \w avoir|strong="G2532"\w* \w pris|strong="G2983"\w* \w la|strong="G2532"\w* \w garantie|strong="G1519"\w* \w de|strong="G2532"\w* \w Jason|strong="G2394"\w* \w et|strong="G2532"\w* \w des|strong="G2532"\w* \w autres|strong="G3062"\w*, \w ils|strong="G2532"\w* \w les|strong="G2532"\w* laissèrent \w partir|strong="G1821"\w*. 
\¬v
\¬p