\v=7
\v~=\w He|x-occurrence="1" x-occurrences="1"\w* \w also|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="2"\w* \w a|x-occurrence="1" x-occurrences="2"\w* \w big|x-occurrence="1" x-occurrences="1"\w* \w spear|x-occurrence="1" x-occurrences="1"\w*. \w It|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="2" x-occurrences="2"\w* \w a|x-occurrence="2" x-occurrences="2"\w* \w cord|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="2"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w enable|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="2"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w throw|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="2" x-occurrences="2"\w* \w better|x-occurrence="1" x-occurrences="1"\w*. \w Its|x-occurrence="1" x-occurrences="1"\w* \w iron|x-occurrence="1" x-occurrences="1"\w* \w head|x-occurrence="1" x-occurrences="1"\w* \w weighed|x-occurrence="1" x-occurrences="1"\w* \w about|x-occurrence="1" x-occurrences="1"\w* \w seven|x-occurrence="1" x-occurrences="1"\w* \w kilograms|x-occurrence="1" x-occurrences="1"\w*. \w A|x-occurrence="1" x-occurrences="1"\w* \w soldier|x-occurrence="1" x-occurrences="1"\w* \w carrying|x-occurrence="1" x-occurrences="1"\w* \w Goliath|x-occurrence="1" x-occurrences="1"\w*’\w s|x-occurrence="1" x-occurrences="1"\w* \w huge|x-occurrence="1" x-occurrences="1"\w* \w shield|x-occurrence="1" x-occurrences="1"\w* \w walked|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w front|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p