\v=11
\v~=\w After|x-occurrence="1" x-occurrences="1"\w* \w Abraham|x-occurrence="1" x-occurrences="1"\w* \w died|x-occurrence="1" x-occurrences="1"\w*, \w God|x-occurrence="1" x-occurrences="1"\w* \w blessed|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w son|x-occurrence="1" x-occurrences="1"\w* \w Isaac|x-occurrence="1" x-occurrences="1"\w*, \w who|x-occurrence="1" x-occurrences="1"\w* \w lived|x-occurrence="1" x-occurrences="1"\w* \w near|x-occurrence="1" x-occurrences="1"\w* {\w the|x-occurrence="1" x-occurrences="1"\w* \w well|x-occurrence="1" x-occurrences="1"\w*} \w Beer|x-occurrence="1" x-occurrences="1"\w* \w Lahai|x-occurrence="1" x-occurrences="1"\w* \w Roi|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p