\v=16
\v~=\w However|x-occurrence="1" x-occurrences="1"\w*, \w in|x-occurrence="1" x-occurrences="2"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w we|x-occurrence="1" x-occurrences="2"\w* \w have|x-occurrence="1" x-occurrences="1"\w* \w attained|x-occurrence="1" x-occurrences="1"\w*, \w we|x-occurrence="2" x-occurrences="2"\w* \w should|x-occurrence="1" x-occurrences="1"\w* \w live|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="2" x-occurrences="2"\w* \w it|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p