\q1
\v=5
\v~=\w Every|x-occurrence="1" x-occurrences="1"\w* \w word|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w God|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="3"\w* \w proven|x-occurrence="1" x-occurrences="1"\w* \w by|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="2"\w* \w test|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="2"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="2" x-occurrences="3"\w* \w true|x-occurrence="1" x-occurrences="1"\w*;
\¬q1
\q2
\p~<<q2=\w he|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="3" x-occurrences="3"\w* \w like|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="2" x-occurrences="2"\w* \w shield|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="2" x-occurrences="2"\w* \w protects|x-occurrence="1" x-occurrences="1"\w* \w those|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w run|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w*.
\¬q2
\¬v