\v=21
\v~=\w Each|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Gideon|x-occurrence="1" x-occurrences="1"\w*’\w s|x-occurrence="1" x-occurrences="1"\w* \w men|x-occurrence="1" x-occurrences="2"\w* \w stood|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="2"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w position|x-occurrence="1" x-occurrences="1"\w* \w around|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w enemy|x-occurrence="1" x-occurrences="1"\w* \w camp|x-occurrence="1" x-occurrences="1"\w*. \w As|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w watched|x-occurrence="1" x-occurrences="1"\w*, \w all|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w Midian|x-occurrence="1" x-occurrences="1"\w* \w men|x-occurrence="2" x-occurrences="2"\w* \w started|x-occurrence="1" x-occurrences="1"\w* \w running|x-occurrence="1" x-occurrences="1"\w* \w around|x-occurrence="2" x-occurrences="2"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w shouting|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="2" x-occurrences="2"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w panic|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p