\v=40
\v~=\w They|x-occurrence="1" x-occurrences="1"\w* \w took|x-occurrence="1" x-occurrences="1"\w* \w sixteen|x-occurrence="1" x-occurrences="1"\w* \w thousand|x-occurrence="1" x-occurrences="1"\w* \w virgins|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w gave|x-occurrence="1" x-occurrences="1"\w* \w 32|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w Yahweh|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p