\v=22
\v~=\w Philippe|strong="G5376"\w* \w vint|strong="G2064"\w* \w le|strong="G2532"\w* \w dire|strong="G3004"\w* \w à|strong="G2532"\w* André  ; \w et|strong="G2532"\w* André \w vint|strong="G2064"\w* \w à|strong="G2532"\w* \w son|strong="G2532"\w* \w tour|strong="G2532"\w* \w avec|strong="G2532"\w* \w Philippe|strong="G5376"\w*, \w et|strong="G2532"\w* \w ils|strong="G2532"\w* \w le|strong="G2532"\w* \w dirent|strong="G3004"\w* \w à|strong="G2532"\w* \w Jésus|strong="G2424"\w*. 
\¬v
\¬p