\v=40
\v~=\w And|strong="H1419"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w people|strong="H5971"\w* \w came|strong="H5927"\w* \w up|strong="H5927"\w* \w after|strong="H5927"\w* \w him|strong="H6963"\w*, \w and|strong="H1419"\w* \w the|strong="H3605"\w* \w people|strong="H5971"\w* \w piped|strong="H2490"\w* \w with|strong="H5971"\w* \w pipes|strong="H2485"\w*, \w and|strong="H1419"\w* \w rejoiced|strong="H8056"\w* \w with|strong="H5971"\w* \w great|strong="H1419"\w* \w joy|strong="H8057"\w*, \w so|strong="H5927"\w* \w that|strong="H5971"\w* \w the|strong="H3605"\w* \w earth|strong="H5927"\w* \w rent|strong="H1234"\w* \w with|strong="H5971"\w* \w the|strong="H3605"\w* \w sound|strong="H6963"\w* \w of|strong="H6963"\w* \w them|strong="H5927"\w*. 
\¬v
\¬p