\v=8
\v~=\w You|strong="H0834"\w* \w shall|strong="H0834"\w* \w make|strong="H6213"\w* \w it|strong="H3651"\w* \w hollow|strong="H5014"\w* \w with|strong="H3651"\w* \w planks|strong="H3871"\w*. \w They|strong="H0834"\w* \w shall|strong="H0834"\w* \w make|strong="H6213"\w* \w it|strong="H3651"\w* \w as|strong="H0834"\w* \w it|strong="H3651"\w* \w has|strong="H0834"\w* \w been|strong="H0834"\w* \w shown|strong="H7200"\w* \w you|strong="H0834"\w* \w on|strong="H7200"\w* \w the|strong="H0853"\w* \w mountain|strong="H2022"\w*. 
\¬v
\¬p