\v=9
\v~=\w The|x-occurrence="1" x-occurrences="1"\w* \w bottom|x-occurrence="1" x-occurrences="1"\w* \w story|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w an|x-occurrence="1" x-occurrences="1"\w* \w entrance|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w its|x-occurrence="1" x-occurrences="1"\w* \w east|x-occurrence="1" x-occurrences="1"\w* \w side|x-occurrence="1" x-occurrences="1"\w*, \w coming|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w outer|x-occurrence="1" x-occurrences="1"\w* \w courtyard|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p