\p
\v=3
\v~=\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="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="3"\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*;
\¬p
\p
\p~<<p=\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="1" x-occurrences="1"\w* \w में|x-occurrence="2" x-occurrences="3"\w* \w शपथ|x-occurrence="1" x-occurrences="1"\w* \w खाई|x-occurrence="1" x-occurrences="1"\w*,
\¬p
\q1<<q
\p~<<q=\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="3" x-occurrences="3"\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* \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="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*।
\¬q1
\¬v