\v=7
\v~=\w The|strong="H5921"\w* \w side|strong="H6763"\w* \w rooms|strong="H1004"\w* \w were|strong="H4605"\w* \w wider|strong="H7337"\w* \w on|strong="H5921"\w* \w the|strong="H5921"\w* \w higher|strong="H4605"\w* levels, \w because|strong="H3588"\w* \w the|strong="H5921"\w* \w walls|strong="H6763"\w* \w were|strong="H4605"\w* narrower \w at|strong="H5921"\w* \w the|strong="H5921"\w* \w higher|strong="H4605"\w* levels. \w Therefore|strong="H3651"\w* \w the|strong="H5921"\w* \w width|strong="H7341"\w* \w of|strong="H1004"\w* \w the|strong="H5921"\w* \w house|strong="H1004"\w* increased \w upward|strong="H4605"\w*; \w and|strong="H1004"\w* \w so|strong="H3651"\w* \w one|strong="H3588"\w* \w went|strong="H5927"\w* \w up|strong="H5927"\w* \w from|strong="H5921"\w* \w the|strong="H5921"\w* \w lowest|strong="H8481"\w* level \w to|strong="H5921"\w* \w the|strong="H5921"\w* highest \w through|strong="H5921"\w* \w the|strong="H5921"\w* \w middle|strong="H8484"\w* level. 
\¬v
\¬p