\v=39
\v~=\w And|strong="H1004"\w* \w he|strong="H2568"\w* \w set|strong="H5414"\w* \w the|strong="H5921"\w* \w bases|strong="H4350"\w*, \w five|strong="H2568"\w* \w on|strong="H5921"\w* \w the|strong="H5921"\w* \w right|strong="H3225"\w* \w side|strong="H3802"\w* \w of|strong="H1004"\w* \w the|strong="H5921"\w* \w house|strong="H1004"\w*, \w and|strong="H1004"\w* \w five|strong="H2568"\w* \w on|strong="H5921"\w* \w the|strong="H5921"\w* \w left|strong="H8040"\w* \w side|strong="H3802"\w* \w of|strong="H1004"\w* \w the|strong="H5921"\w* \w house|strong="H1004"\w*: \w and|strong="H1004"\w* \w he|strong="H2568"\w* \w set|strong="H5414"\w* \w the|strong="H5921"\w* \w sea|strong="H3220"\w* \w on|strong="H5921"\w* \w the|strong="H5921"\w* \w right|strong="H3225"\w* \w side|strong="H3802"\w* \w of|strong="H1004"\w* \w the|strong="H5921"\w* \w house|strong="H1004"\w* \w eastward|strong="H6924"\w*, \w toward|strong="H5921"\w* \w the|strong="H5921"\w* \w south|strong="H5045"\w*. 
\¬v
\¬p