\v=7
\v~=\w And|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w put|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="4"\w* \w poles|x-occurrence="1" x-occurrences="1"\w* \w into|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="4"\w* \w rings|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="3" x-occurrences="4"\w* \w sides|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="4" x-occurrences="4"\w* \w altar|x-occurrence="1" x-occurrences="1"\w*, \w to|x-occurrence="1" x-occurrences="1"\w* \w carry|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="2"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="1" x-occurrences="1"\w*. \w He|x-occurrence="1" x-occurrences="1"\w* \w made|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="2" x-occurrences="2"\w* \w hollow|x-occurrence="1" x-occurrences="1"\w*, \w of|x-occurrence="2" x-occurrences="2"\w* \w planks|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p