\p
\v=13
\v~=\w और|x-occurrence="1" x-occurrences="2"\w* \w यिशै|x-occurrence="1" x-occurrences="1"\w* \w से|x-occurrence="1" x-occurrences="1"\w* \w उसका|x-occurrence="1" x-occurrences="1"\w* \w जेठा|x-occurrence="1" x-occurrences="1"\w* \w एलीआब|x-occurrence="1" x-occurrences="1"\w* \w और|x-occurrence="2" x-occurrences="2"\w* \w दूसरा|x-occurrence="1" x-occurrences="1"\w* \w अबीनादाब|x-occurrence="1" x-occurrences="1"\w* \w तीसरा|x-occurrence="1" x-occurrences="1"\w* \w शिमा|x-occurrence="1" x-occurrences="1"\w*,
\¬v
\¬p