\p
\v=18
\v~=\w You|x-occurrence="1" x-occurrences="1"\w* \w shall|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w allow|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w sorceress|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w live|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p