\p
\v=13
\v~=\w कारीगर|x-occurrence="1" x-occurrences="1"\w* \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="2"\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="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="2"\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* \w दिया|x-occurrence="1" x-occurrences="1"\w*।
\¬v
\¬p