\v=26
\v~=\w His|x-occurrence="1" x-occurrences="1"\w* \w older|x-occurrence="1" x-occurrences="1"\w* \w brothers|x-occurrence="1" x-occurrences="1"\w* \w loaded|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w sacks|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w grain|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w their|x-occurrence="1" x-occurrences="1"\w* \w donkeys|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w left|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p