\v=56
\v~=\w So|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w went|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 different|x-occurrence="1" x-occurrences="1"\w* \w village|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p