\v=5
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w Noah|x-occurrence="1" x-occurrences="1"\w* \w did|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w Yahweh|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w commanded|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p