\v=25
\v~=\w All|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w people|x-occurrence="1" x-occurrences="2"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w came|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w him|x-occurrence="1" x-occurrences="1"\w* \w brought|x-occurrence="1" x-occurrences="2"\w* \w presents|x-occurrence="1" x-occurrences="1"\w*. \w They|x-occurrence="1" x-occurrences="1"\w* \w brought|x-occurrence="2" x-occurrences="2"\w* \w things|x-occurrence="1" x-occurrences="1"\w* \w made|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w silver|x-occurrence="1" x-occurrences="1"\w* \w or|x-occurrence="1" x-occurrences="6"\w* \w gold|x-occurrence="1" x-occurrences="1"\w*, \w or|x-occurrence="2" x-occurrences="6"\w* \w robes|x-occurrence="1" x-occurrences="1"\w*, \w or|x-occurrence="3" x-occurrences="6"\w* \w weapons|x-occurrence="1" x-occurrences="1"\w*, \w or|x-occurrence="4" x-occurrences="6"\w* \w spices|x-occurrence="1" x-occurrences="1"\w*, \w or|x-occurrence="5" x-occurrences="6"\w* \w horses|x-occurrence="1" x-occurrences="1"\w*, \w or|x-occurrence="6" x-occurrences="6"\w* \w mules|x-occurrence="1" x-occurrences="1"\w*. \w The|x-occurrence="1" x-occurrences="1"\w* \w people|x-occurrence="2" x-occurrences="2"\w* \w continued|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w this|x-occurrence="1" x-occurrences="1"\w* \w every|x-occurrence="1" x-occurrences="1"\w* \w year|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p