\v=15
\v~=\w If|x-occurrence="1" x-occurrences="1"\w* \w its|x-occurrence="1" x-occurrences="2"\w* \w owner|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="2"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="3"\w*, \w he|x-occurrence="1" x-occurrences="1"\w* \w shall|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w compensate|x-occurrence="1" x-occurrences="1"\w*; \w if|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="2" x-occurrences="3"\w* \w was|x-occurrence="2" x-occurrences="2"\w* \w for|x-occurrence="1" x-occurrences="2"\w* \w hire|x-occurrence="1" x-occurrences="1"\w*, \w it|x-occurrence="3" x-occurrences="3"\w* \w came|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="2" x-occurrences="2"\w* \w its|x-occurrence="2" x-occurrences="2"\w* \w hiring|x-occurrence="1" x-occurrences="1"\w* \w fee|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p