\v=13
\v~=\w And|x-occurrence="1" x-occurrences="3"\w* \w every|x-occurrence="1" x-occurrences="1"\w* \w opener|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w a|x-occurrence="1" x-occurrences="2"\w* \w donkey|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="1" x-occurrences="4"\w* \w shall|x-occurrence="1" x-occurrences="3"\w* \w ransom|x-occurrence="1" x-occurrences="3"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="2" x-occurrences="2"\w* \w lamb|x-occurrence="1" x-occurrences="1"\w*. \w And|x-occurrence="2" x-occurrences="3"\w* \w if|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="2" x-occurrences="4"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w ransom|x-occurrence="2" x-occurrences="3"\w* \w it|x-occurrence="1" x-occurrences="1"\w*, \w then|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="3" x-occurrences="4"\w* \w shall|x-occurrence="2" x-occurrences="3"\w* \w break|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w neck|x-occurrence="1" x-occurrences="1"\w*. \w And|x-occurrence="3" x-occurrences="3"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w firstborn|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w men|x-occurrence="1" x-occurrences="1"\w* \w among|x-occurrence="1" x-occurrences="1"\w* \w your|x-occurrence="1" x-occurrences="1"\w* \w sons|x-occurrence="1" x-occurrences="1"\w*, \w you|x-occurrence="4" x-occurrences="4"\w* \w shall|x-occurrence="3" x-occurrences="3"\w* \w ransom|x-occurrence="3" x-occurrences="3"\w*.
\¬v
\¬p