\v=13
\v~=\w And|x-occurrence="1" x-occurrences="1"\w* \w Joshua|x-occurrence="1" x-occurrences="1"\w* \w defeated|x-occurrence="1" x-occurrences="1"\w* \w Amalek|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w people|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w edge|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w sword|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p