\v=23
\v~=\w Ils|strong="H5971"\w* \w enseigneront|strong="H3384"\w* \w à|strong="H5971"\w* \w mon|strong="H3045"\w* \w peuple|strong="H5971"\w* \w la|strong="H3045"\w* \w différence|strong="H3045"\w* \w entre|strong="H8432"\w* \w ce|strong="H3045"\w* \w qui|strong="H5971"\w* \w est|strong="H5971"\w* \w saint|strong="H6944"\w* \w et|strong="H3045"\w* \w ce|strong="H3045"\w* \w qui|strong="H5971"\w* \w est|strong="H5971"\w* \w commun|strong="H6486"\w*, \w et|strong="H3045"\w* \w ils|strong="H5971"\w* \w lui|strong="H5971"\w* \w feront|strong="H6213"\w* discerner \w ce|strong="H3045"\w* \w qui|strong="H5971"\w* \w est|strong="H5971"\w* \w impur|strong="H2931"\w* \w et|strong="H3045"\w* \w ce|strong="H3045"\w* \w qui|strong="H5971"\w* \w est|strong="H5971"\w* \w pur|strong="H2889"\w*. 
\¬v
\¬p