\v=11
\v~=(\w mais|strong="G1161"\w* \w si|strong="G1437"\w* \w elle|strong="G2532"\w* \w le|strong="G2532"\w* quitte, \w qu'elle|strong="G2532"\w* \w reste|strong="G3306"\w* célibataire, \w ou|strong="G2228"\w* \w qu'elle|strong="G2532"\w* \w se|strong="G2532"\w* \w réconcilie|strong="G2644"\w* \w avec|strong="G2532"\w* \w son|strong="G2228"\w* mari), \w et|strong="G2532"\w* \w que|strong="G2532"\w* \w le|strong="G2532"\w* mari \w ne|strong="G2532"\w* quitte \w pas|strong="G3361"\w* \w sa|strong="G2532"\w* \w femme|strong="G1135"\w*. 
\¬v
\¬p