\v=7
\v~=\w She|x-occurrence="1" x-occurrences="1"\w* \w also|x-occurrence="1" x-occurrences="1"\w* \w exclaimed|x-occurrence="1" x-occurrences="1"\w*, "\w No|x-occurrence="1" x-occurrences="1"\w* \w one|x-occurrence="1" x-occurrences="1"\w* \w would|x-occurrence="1" x-occurrences="2"\w* \w have|x-occurrence="1" x-occurrences="3"\w* {\w even|x-occurrence="1" x-occurrences="1"\w* \w thought|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w*} \w telling|x-occurrence="1" x-occurrences="1"\w* \w Abraham|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w I|x-occurrence="1" x-occurrences="2"\w* \w would|x-occurrence="2" x-occurrences="2"\w* \w have|x-occurrence="2" x-occurrences="3"\w* \w children|x-occurrence="1" x-occurrences="1"\w*. \w Yet|x-occurrence="1" x-occurrences="1"\w* \w I|x-occurrence="2" x-occurrences="2"\w* \w have|x-occurrence="3" x-occurrences="3"\w* \w given|x-occurrence="1" x-occurrences="1"\w* \w birth|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w son|x-occurrence="1" x-occurrences="1"\w* {\w for|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w*} \w when|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w old|x-occurrence="1" x-occurrences="1"\w*!"
\¬v
\¬p