\v=12
\v~=\w Those|x-occurrence="1" x-occurrences="2"\w* \w who|x-occurrence="1" x-occurrences="2"\w* \w share|x-occurrence="1" x-occurrences="2"\w* \w life|x-occurrence="1" x-occurrences="2"\w* \w with|x-occurrence="1" x-occurrences="3"\w* \w God|x-occurrence="1" x-occurrences="3"\w*’\w s|x-occurrence="1" x-occurrences="2"\w* \w Son|x-occurrence="1" x-occurrences="2"\w* {\w Jesus|x-occurrence="1" x-occurrences="1"\w*} \w have|x-occurrence="1" x-occurrences="2"\w* \w begun|x-occurrence="1" x-occurrences="2"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w live|x-occurrence="1" x-occurrences="2"\w* \w forever|x-occurrence="1" x-occurrences="2"\w* {\w with|x-occurrence="2" x-occurrences="3"\w* \w God|x-occurrence="2" x-occurrences="3"\w*}. \w Those|x-occurrence="2" x-occurrences="2"\w* \w who|x-occurrence="2" x-occurrences="2"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="2"\w* \w share|x-occurrence="2" x-occurrences="2"\w* \w life|x-occurrence="2" x-occurrences="2"\w* \w with|x-occurrence="3" x-occurrences="3"\w* \w God|x-occurrence="3" x-occurrences="3"\w*’\w s|x-occurrence="2" x-occurrences="2"\w* \w Son|x-occurrence="2" x-occurrences="2"\w* \w have|x-occurrence="2" x-occurrences="2"\w* \w not|x-occurrence="2" x-occurrences="2"\w* \w begun|x-occurrence="2" x-occurrences="2"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w live|x-occurrence="2" x-occurrences="2"\w* \w forever|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p