\v=10
\v~={\w This|x-occurrence="1" x-occurrences="1"\w*} \w love|x-occurrence="1" x-occurrences="2"\w* \w does|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w work|x-occurrence="1" x-occurrences="1"\w* \w evil|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 neighbor|x-occurrence="1" x-occurrences="1"\w*; \w therefore|x-occurrence="1" x-occurrences="1"\w*, \w love|x-occurrence="2" x-occurrences="2"\w* {\w is|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w*} \w fulfillment|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* {\w the|x-occurrence="2" x-occurrences="2"\w*} \w law|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p