\v=4
\v~=\w And|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="2"\w* \w brothers|x-occurrence="1" x-occurrences="2"\w* \w saw|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w their|x-occurrence="1" x-occurrences="1"\w* \w father|x-occurrence="1" x-occurrences="1"\w* \w loved|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="3"\w* \w more|x-occurrence="1" x-occurrences="1"\w* \w than|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="2" x-occurrences="2"\w* \w brothers|x-occurrence="2" x-occurrences="2"\w*, \w so|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w hated|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="2" x-occurrences="3"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w were|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w able|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w speak|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w him|x-occurrence="3" x-occurrences="3"\w* \w peaceably|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p