\v=21
\v~=\w so|x-occurrence="1" x-occurrences="2"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w just|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="1"\w* \w sin|x-occurrence="1" x-occurrences="1"\w* \w ruled|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w death|x-occurrence="1" x-occurrences="1"\w*, \w so|x-occurrence="2" x-occurrences="2"\w* \w also|x-occurrence="1" x-occurrences="1"\w* \w grace|x-occurrence="1" x-occurrences="1"\w* \w might|x-occurrence="1" x-occurrences="1"\w* \w rule|x-occurrence="1" x-occurrences="1"\w* \w through|x-occurrence="1" x-occurrences="2"\w* \w righteousness|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w everlasting|x-occurrence="1" x-occurrences="1"\w* \w life|x-occurrence="1" x-occurrences="1"\w* \w through|x-occurrence="2" x-occurrences="2"\w* \w Jesus|x-occurrence="1" x-occurrences="1"\w* \w Christ|x-occurrence="1" x-occurrences="1"\w* \w our|x-occurrence="1" x-occurrences="1"\w* \w Lord|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p
\¬c