\v=40
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w let|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w things|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w done|x-occurrence="1" x-occurrences="1"\w* \w properly|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w order|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p
\¬c