\q1 \v=25 \v~=\w I|x-occurrence="1" x-occurrences="3"\w* \w show|x-occurrence="1" x-occurrences="3"\w* \w that|x-occurrence="1" x-occurrences="5"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w false|x-occurrence="1" x-occurrences="1"\w* \w prophets|x-occurrence="1" x-occurrences="1"\w* \w are|x-occurrence="1" x-occurrences="4"\w* \w liars|x-occurrence="1" x-occurrences="1"\w*, \¬q1 \q2 \p~<