\v=58
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w after|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="3"\w* \w clothing|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w washed|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="2" x-occurrences="3"\w* \w mildew|x-occurrence="1" x-occurrences="1"\w* \w disappears|x-occurrence="1" x-occurrences="1"\w*, \w the|x-occurrence="3" x-occurrences="3"\w* \w owner|x-occurrence="1" x-occurrences="1"\w* \w must|x-occurrence="1" x-occurrences="1"\w* \w wash|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="2"\w* \w again|x-occurrence="1" x-occurrences="2"\w*, \w and|x-occurrence="2" x-occurrences="2"\w* \w then|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w may|x-occurrence="1" x-occurrences="1"\w* \w use|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="2" x-occurrences="2"\w* \w again|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p