\v=7
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w those|x-occurrence="1" x-occurrences="1"\w* \w cities|x-occurrence="1" x-occurrences="1"\w* \w we|x-occurrence="1" x-occurrences="1"\w* \w took|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w ourselves|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w livestock|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w other|x-occurrence="1" x-occurrences="1"\w* \w valuable|x-occurrence="1" x-occurrences="1"\w* \w things|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p