\v=22
\v~=\w He|strong="H0834"\w* \w overlaid|strong="H6823"\w* \w the|strong="H3605"\w* \w whole|strong="H3605"\w* \w house|strong="H1004"\w* \w with|strong="H1004"\w* \w gold|strong="H2091"\w*, \w until|strong="H5704"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w house|strong="H1004"\w* \w was|strong="H0834"\w* \w finished|strong="H8552"\w*. \w He|strong="H0834"\w* \w also|strong="H0853"\w* \w overlaid|strong="H6823"\w* \w the|strong="H3605"\w* \w whole|strong="H3605"\w* \w altar|strong="H4196"\w* \w that|strong="H0834"\w* belonged \w to|strong="H5704"\w* \w the|strong="H3605"\w* \w inner|strong="H1687"\w* \w sanctuary|strong="H1687"\w* \w with|strong="H1004"\w* \w gold|strong="H2091"\w*. 
\¬v
\¬p